copyright update for MCS file changes · seL4/l4v@2db67f4

Triggered via pull request October 18, 2023 00:32

lsf37

opened #684

Status Success

Total duration 15m 4s

Artifacts 2

proof.yml

on: pull_request_target

Matrix: MCS

Produced during runtime

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