Proof PR

clib: move `ccorres_cond_both'` to `CCorresLemmas` #3192

Sign in to view logs

Triggered via pull request February 26, 2025 14:02

michaelmcinerney

synchronize #856

Status Success

Total duration 1h 28m 26s

Artifacts 5

proof.yml

on: pull_request_target

Matrix: All

Artifacts

Produced during runtime

Name	Size
logs-AARCH64	154 MB
logs-ARM	209 MB
logs-ARM_HYP	192 MB
logs-RISCV64	185 MB
logs-X64	175 MB