x64 crefine: proof update after change to C #3073

Sign in to view logs

Re-run triggered December 2, 2024 21:55

lsf37

#825

Status Success

Total duration 2h 27m 12s

Artifacts 5

proof.yml

on: pull_request_target

Matrix: All

Annotations

1 warning

ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636

Artifacts

Produced during runtime

Name	Size
logs-X64	175 MB