Skip to content

Tabling

Tabling #681

Annotations

3 warnings

Build and test elpi (ubuntu-latest, 5.1.x, fatalwarnings)

succeeded May 24, 2024 in 6m 12s
Set up job
1s
Set git to use LF
0s
Checkout code
2s
Use OCaml 5.1.x
1m 31s
Install opam-depext
0s
Extra setup on Linux
3s
Extra setup on macOS
0s
Extra setup on Windows
0s
Install real dependencies
1m 27s
Build elpi with dune profile fatalwarnings
14s
Strip binary
0s
Save binary
1s
Test elpi on Unix
2m 22s
Test elpi on Windows
0s
Save logs
25s
Save benchmarking data
0s
Post Use OCaml 5.1.x
1s
Post Checkout code
1s
Complete job
0s