Skip to content
Main Workflow

Move menhir version to 20230415 to ease windows cross compilation #64

Sign in to view logs

Move menhir version to 20230415 to ease windows cross compilation

Move menhir version to 20230415 to ease windows cross compilation #64

Run time

Learn about OS pricing on GitHub Actions
Job Run time
build (ubuntu-latest, 4.13.0, false)
13m 26s
build (macos-latest, 4.13.0, false)
21m 6s
34m 32s