Skip to content

Merge branch 'main' of https://github.com/cvc5/cvc5 into strMacroRew-… #30671

Merge branch 'main' of https://github.com/cvc5/cvc5 into strMacroRew-…

Merge branch 'main' of https://github.com/cvc5/cvc5 into strMacroRew-… #30671

win64:production

succeeded Jan 15, 2025 in 27m 38s
Set up job
0s
Run actions/checkout@v4
6s
Install dependencies
1m 1s
Setup caches
8s
Configure and build
16m 55s
Run tests
4m 59s
Run tests
4m 17s
Build documentation
0s
Create and add shared package to latest and release
0s
Create and add static package to latest and release
0s
Create and add JAR to latest and release
0s
Post Setup caches
4s
Post Run actions/checkout@v4
1s
Complete job
0s