try fixing gitea ci: v24

2026-09-10 17:27:27 -05:00
parent 935166fef7
commit ac7dfe13b7
3 changed files with 61 additions and 14 deletions
@@ -19,14 +19,6 @@ jobs:
    steps:
      - uses: actions/checkout@v4

-      - name: pick reporter
-        run: |
-          if [ "${{ github.event_name }}" = pull_request ]; then
-            echo "REPORTER=gitea-pr-review" >> "$GITHUB_ENV"
-          else
-            echo "REPORTER=local" >> "$GITHUB_ENV"
-          fi
-
      - name: run linters
        run: nix run -L .#ci -- lint . "$RUNNER_TEMP/findings"

@@ -35,9 +27,9 @@ jobs:
        env:
          REVIEWDOG_GITEA_API_TOKEN: ${{ secrets.GITEA_TOKEN }}
        run: |
-          if [ "$REPORTER" = local ]; then
-            nix run -L .#ci -- lint-report "$REPORTER" "$RUNNER_TEMP/findings" \
-              | tee -a "$GITHUB_STEP_SUMMARY"
+          if [ "${{ github.event_name }}" = pull_request ]; then
+            nix run -L .#ci -- lint-report gitea-pr-review "$RUNNER_TEMP/findings"
          else
-            nix run -L .#ci -- lint-report "$REPORTER" "$RUNNER_TEMP/findings"
+            nix run -L .#ci -- lint-summary "$RUNNER_TEMP/findings" \
+              | tee -a "$GITHUB_STEP_SUMMARY"
          fi