Skip to content

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

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

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

Annotations

1 warning

metacoq

succeeded Oct 3, 2024 in 30m 14s