try fixing gitea ci: v16

2026-09-10 13:06:54 -05:00
parent 3e5e4cfc1d
commit 55208b17c4
2 changed files with 7 additions and 1 deletions
@@ -22,7 +22,7 @@ jobs:
      - name: pick reporter
        run: |
          if [ "${{ github.event_name }}" = pull_request ]; then
-            echo "REPORTER=github-pr-review" >> "$GITHUB_ENV"
+            echo "REPORTER=gitea-pr-review" >> "$GITHUB_ENV"
          else
            echo "REPORTER=local" >> "$GITHUB_ENV"
          fi
@@ -94,6 +94,12 @@ in
        mountPoint = "/run/ci-runner-secrets";
        readOnly = true;
      }
+      {
+        proto = "virtiofs";
+        tag = "tmp";
+        source = "/tmp";
+        mountPoint = "/tmp";
+      }
    ];
    guestConfig =
      {