Skip to content

Merge branch 'main' of https://github.com/cvc5/cvc5 into preregRlv #29433

Merge branch 'main' of https://github.com/cvc5/cvc5 into preregRlv

Merge branch 'main' of https://github.com/cvc5/cvc5 into preregRlv #29433

ubuntu:production-clang

succeeded Nov 18, 2024 in 20m 7s
Set up job
0s
Run actions/checkout@v4
2s
Install dependencies
29s
Setup caches
1s
Configure and build
14m 46s
Run tests
3m 12s
Run tests
1m 30s
Build documentation
0s
Create and add shared package to latest and release
0s
Create and add static package to latest and release
0s
Post Setup caches
3s
Post Run actions/checkout@v4
0s
Complete job
0s