Skip to content
Main workflow

Allow for multiple calls to API.Setup.init #551

Sign in to view logs

Allow for multiple calls to API.Setup.init

Allow for multiple calls to API.Setup.init #551

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Build and test elpi (macos-latest, 4.14.x, dev, menhir)
19m 20s
Build and test elpi (macos-latest, 4.08.x, dev, menhir)
12m 48s
Build and test elpi (ubuntu-latest, 4.14.x, dev, menhir)
9m 33s
Build and test elpi (ubuntu-latest, 4.08.x, dev, menhir)
9m 20s
Build and test elpi (windows-latest, 4.14.x, dev, menhir)
14m 33s
Build and test elpi (windows-latest, 4.08.x, dev, menhir)
15m 53s
Build and test elpi (ubuntu-latest, 5.1.x, fatalwarnings, menhir)
11m 17s
Build and test elpi (ubuntu-latest, 4.11.x, dev, menhir-camlp5)
12m 34s
Aggregate and plot benchmarking data
3m 22s
1h 48m 40s