try fixing gitea ci: v23

2026-09-10 17:08:24 -05:00
parent d016c90134
commit 935166fef7
1 changed files with 7 additions and 1 deletions
@@ -34,4 +34,10 @@ jobs:
        if: always()
        env:
          REVIEWDOG_GITEA_API_TOKEN: ${{ secrets.GITEA_TOKEN }}
-        run: nix run -L .#ci -- lint-report "$REPORTER" "$RUNNER_TEMP/findings"
+        run: |
+          if [ "$REPORTER" = local ]; then
+            nix run -L .#ci -- lint-report "$REPORTER" "$RUNNER_TEMP/findings" \
+              | tee -a "$GITHUB_STEP_SUMMARY"
+          else
+            nix run -L .#ci -- lint-report "$REPORTER" "$RUNNER_TEMP/findings"
+          fi