try fixing gitea ci: v14

2026-09-10 11:13:32 -05:00
parent b8d64efc11
commit df615ba3c1
5 changed files with 12 additions and 12 deletions
@@ -24,10 +24,10 @@ jobs:

      - name: build closures and render diff
        run: |
-          nix run .#ci -- diff "$RUNNER_TEMP/base" . \
+          nix run -L .#ci -- diff "$RUNNER_TEMP/base" . \
            "### System closure diff vs \`${{ github.event.pull_request.base.ref }}\`" \
            > "$RUNNER_TEMP/comment.md"
-          nix run .#ci -- inspect-diff "$RUNNER_TEMP/base" . \
+          nix run -L .#ci -- inspect-diff "$RUNNER_TEMP/base" . \
            "### Inspection diff vs \`${{ github.event.pull_request.base.ref }}\`" \
            >> "$RUNNER_TEMP/comment.md"

@@ -37,4 +37,4 @@ jobs:
          API: ${{ github.api_url }}
          REPO: ${{ github.repository }}
          PR: ${{ github.event.pull_request.number }}
-        run: nix run .#ci -- post-comment "<!-- dix-diff -->" "$RUNNER_TEMP/comment.md"
+        run: nix run -L .#ci -- post-comment "<!-- dix-diff -->" "$RUNNER_TEMP/comment.md"