Skip to content
ci

Simplify unfolds by reusing results of predicate verification #2238

Sign in to view logs

Simplify unfolds by reusing results of predicate verification

Simplify unfolds by reusing results of predicate verification #2238

Triggered via pull request August 28, 2025 13:26
@marcoeilersmarcoeilers
synchronize #929
meilers_reuse_predicate_heaps
Status Success
Total duration 12m 47s
Artifacts 1

ci.yml

on: pull_request
test-and-assemble
12m 43s
test-and-assemble
release-snapshot
0s
release-snapshot
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size Digest
test-and-assemble Expired
33.3 MB
sha256:b93376a3c002d99a0c82cc343197c6ba9da34d0eb225e71d3bc58e3e0ca819af
⚡