Skip to content
CI

[CI] Update mcs.xml. Changed: HOL, graph-refine, isabelle, l4v, polym… #1303

Sign in to view logs

[CI] Update mcs.xml. Changed: HOL, graph-refine, isabelle, l4v, polym…

[CI] Update mcs.xml. Changed: HOL, graph-refine, isabelle, l4v, polym… #1303

Triggered via push July 25, 2024 13:02
@seL4-ciseL4-ci
pushed 294de63
master
Status Success
Total duration 26s
Artifacts –

push.yml

on: push
License Check
13s
License Check
Links
10s
Links
Style
17s
Style
Fit to window
Zoom out
Zoom in