Skip to content
CI - Nix

Officially remove support for Pinocchio 2, require Pinocchio >= 3.4 #185

Sign in to view logs

Officially remove support for Pinocchio 2, require Pinocchio >= 3.4

Officially remove support for Pinocchio 2, require Pinocchio >= 3.4 #185

Run time

Learn about OS pricing on GitHub Actions
Job Run time
nix (ubuntu)
3m 21s
nix (macos)
3m 28s
6m 49s