Skip to content

unlocked

unlocked #2017

regression (ubuntu-22.04, 5.1.x, apron)

succeeded Dec 19, 2024 in 12m 48s
Set up job
2s
Checkout code
1s
Set up OCaml 5.1.x
46s
Install graph-easy
3s
Install dependencies
1m 45s
Install Apron dependencies
1m 53s
Install Z3 dependencies
0s
Build
24s
Download Linux headers
1s
Test
3m 38s
Test marshal regression
4m 8s
Post Set up OCaml 5.1.x
1s
Post Checkout code
0s
Complete job
0s