Skip to content

Eagerly apply-subs + rewrite bodies of define-fun (#11526) #30668

Eagerly apply-subs + rewrite bodies of define-fun (#11526)

Eagerly apply-subs + rewrite bodies of define-fun (#11526) #30668

win64:production

succeeded Jan 15, 2025 in 31m 43s
Set up job
1s
Run actions/checkout@v4
9s
Install dependencies
1m 1s
Setup caches
3s
Configure and build
20m 45s
Run tests
5m 1s
Run tests
4m 36s
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