Skip to content

Some documentation #1353

Some documentation

Some documentation #1353

tests

succeeded Jan 31, 2025 in 2m 8s
Set up job
2s
Run actions/checkout@v4
1s
Download Fixpoint
0s
Add fixpoint to PATH
0s
Run which fixpoint
0s
Install Z3
2s
Rust Cache
25s
Build
33s
Run tests
1m 3s
Post Rust Cache
0s
Post Run actions/checkout@v4
0s
Complete job
0s