Skip to content

Bump cachix/install-nix-action from V28 to 30 #2857

Bump cachix/install-nix-action from V28 to 30

Bump cachix/install-nix-action from V28 to 30 #2857

Annotations

10 warnings

build (8.16, 4.14-flambda, local)

succeeded Oct 3, 2024 in 28m 50s
Set up job
1s
Build coq-community/docker-coq-action@v1
5s
Checkout code
1s
Docker-Coq-Action
28m 38s
Revert permissions
0s
Post Checkout code
0s
Complete job
0s