Skip to content
ci

Stricter triggers on FVF snap extensionality axiom #2156

Sign in to view logs

Stricter triggers on FVF snap extensionality axiom

Stricter triggers on FVF snap extensionality axiom #2156

Triggered via pull request July 14, 2025 09:13
@marcoeilersmarcoeilers
synchronize #936
meilers_stricter_fvf_snap_ext_triggers
Status Success
Total duration 12m 38s
Artifacts 1

ci.yml

on: pull_request
test-and-assemble
12m 34s
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
32.8 MB
sha256:bb9cdd647fc021c663a762cd11f2e1fbb9018fea104425e6f769c3b78732cd3a
⚡