MCS: Remove grant right from reply cap · seL4/l4v@eda3dfe

Triggered via pull request August 9, 2024 04:26

corlewis

synchronize #808

Status Success

Total duration 2h 39m 43s

Artifacts 2

proof.yml

on: pull_request_target

Matrix: MCS

Produced during runtime

Name	Size
logs-ARM Expired	103 MB
logs-RISCV64 Expired	156 MB