Back to pull request #831

Prove `cancelIPC_ccorres1` #3071

Sign in to view logs

Triggered via pull request November 30, 2024 14:36

nspin

synchronize #831

Status Success

Total duration 4h 53m 14s

Artifacts 2

proof.yml

on: pull_request_target

Matrix: MCS

Artifacts

Produced during runtime

Name	Size
logs-ARM	103 MB
logs-RISCV64	155 MB