x64 crefine: proof update after change to C #3274

Sign in to view logs

Triggered via pull request November 6, 2024 10:07

nspin

opened #825

nspin:pr/x86-initialize-vars

Status Failure

Total duration 3m 32s

Artifacts –

push.yml

on: pull_request