Skip to content
ci

Renaming proverArgs annotation and cleaning up annotation handling #2093

Sign in to view logs

Renaming proverArgs annotation and cleaning up annotation handling

Renaming proverArgs annotation and cleaning up annotation handling #2093

Triggered via pull request June 24, 2025 13:08
@marcoeilersmarcoeilers
synchronize #932
meilers_prover_arg_annotation_rename
Status Success
Total duration 12m 44s
Artifacts 1

ci.yml

on: pull_request
test-and-assemble
12m 40s
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:a47fc73190e8d015a702e9e5292770531c43a1728f8961073b13bc6c0c304947
⚡