cspec: adjust for kernel build change · seL4/l4v@659dd24

Triggered via push November 2, 2023 05:44

lsf37

rt

Status Success

Total duration 2h 26m 21s

Artifacts 2

proof.yml

on: push

Matrix: MCS

Produced during runtime

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