debug

math-comp · Aug 14, 2024 · a449871 · a449871
1 parent ef2bfc0
commit a449871
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/.github/workflows/nix-action-master.yml b/.github/workflows/nix-action-master.yml
@@ -84,6 +84,10 @@ jobs:
         authToken: ${{ secrets.CACHIX_AUTH_TOKEN }}
         extraPullNames: coq, coq-community
         name: math-comp
+    - name: Debug with upterm
+      uses: lhotari/action-upterm@v1
+      with:
+        limit-accesse-to-actor: true
     - id: stepCheck
       name: Checking presence of CI target coq-elpi
       run: "nb_dry_run=$(NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link \\\n   --argstr\