Skip to content
CHERI-seL4MicrokitTest

Michaelcobb/test ci #14

Sign in to view logs

Michaelcobb/test ci

Michaelcobb/test ci #14

Triggered via pull request March 25, 2026 13:40
@michaelcobb-capablehubmichaelcobb-capablehub
synchronize #1
michaelcobb/test-ci
Status Success
Total duration 7m 21s
Artifacts –

cheri-sel4microkittest.yml

on: pull_request
Matrix: CHERI Microkit Tests / CHERI Microkit Tests
Fit to window
Zoom out
Zoom in