Skip to content

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

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

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

Annotations

1 warning

metacoq

succeeded Oct 3, 2024 in 29m 52s