Skip to content

unlocked

unlocked #2018

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

succeeded Dec 20, 2024 in 12m 44s
Set up job
1s
Checkout code
1s
Set up OCaml 4.14.x
42s
Install graph-easy
3s
Install dependencies
1m 42s
Install Apron dependencies
1m 57s
Install Z3 dependencies
0s
Build
23s
Download Linux headers
1s
Test
3m 38s
Test marshal regression
4m 11s
Post Set up OCaml 4.14.x
0s
Post Checkout code
0s
Complete job
0s