Skip to content
CI

Override menhir version in flake.nix (#1628) #1561

Sign in to view logs

Override menhir version in flake.nix (#1628)

Override menhir version in flake.nix (#1628) #1561

Run time

Learn about OS pricing on GitHub Actions
Job Run time
build (macos-latest, 4.14.x)
13m 50s
build (ubuntu-latest, 4.14.x)
5m 46s
build (windows-latest, 4.14.x)
12m 18s
31m 54s