Skip to content

Bump cachix/install-nix-action from V27 to 28 (#1100) #760

Bump cachix/install-nix-action from V27 to 28 (#1100)

Bump cachix/install-nix-action from V27 to 28 (#1100) #760

Annotations

1 warning

metacoq

succeeded Sep 16, 2024 in 1m 28s