rt spec: rename sched_context_zero_refill_max · seL4/l4v@9b4c436

Triggered via push November 9, 2023 10:51

rt

Status Success

Total duration 2h 37m 55s

Artifacts 2

proof.yml

on: push

Matrix: MCS

Produced during runtime

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