Skip to content

fix --early-exit (#437) #462

fix --early-exit (#437)

fix --early-exit (#437) #462

test (--cache-solver, examples/simple)

succeeded Jan 28, 2025 in 4m 29s
Set up job
0s
Checkout repository
9s
Build image
24s
Print halmos version
1s
Run pytest
3m 53s
Post Checkout repository
0s
Complete job
0s