Skip to content
CI

proofgen: generate new definitions needed for initialization support #323

Sign in to view logs

proofgen: generate new definitions needed for initialization support

proofgen: generate new definitions needed for initialization support #323

Triggered via pull request March 5, 2025 02:34
@tchajedtchajed
opened #65
tchajed/new-init
Status Success
Total duration 30s
Artifacts –

build.yml

on: pull_request
Matrix: test
Fit to window
Zoom out
Zoom in