Skip to content
Main workflow

Update ppx-elpi to work with current Elpi API and construct encoding of OCaml AST using it #640

Sign in to view logs

Update ppx-elpi to work with current Elpi API and construct encoding of OCaml AST using it

Update ppx-elpi to work with current Elpi API and construct encoding of OCaml AST using it #640

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Build and test elpi (macos-latest, 4.14.x, dev)
12m 2s
Build and test elpi (macos-latest, 4.08.x, dev)
8m 54s
Build and test elpi (ubuntu-latest, 4.14.x, dev)
7m 7s
Build and test elpi (ubuntu-latest, 4.08.x, dev)
3m 8s
Build and test elpi (windows-latest, 4.14.x, dev)
4m 59s
Build and test elpi (windows-latest, 4.08.x, dev)
4m 54s
Build and test elpi (ubuntu-latest, 5.1.x, fatalwarnings)
1m 39s
Aggregate and plot benchmarking data
54s
43m 37s