Proof PR

`ADT_C` sorry-free #2637

Triggered via pull request October 23, 2023 00:45

synchronize #685

Status Success

Total duration 2h 14m 25s

Artifacts 2

This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

proof.yml

on: pull_request_target

Matrix: MCS

Produced during runtime

Name	Size
logs-ARM Expired	142 MB
logs-RISCV64 Expired	150 MB