Skip to content

Actions: omeh-a/seL4

Actions

seL4Test

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
sel4test-deploy.yml
2 workflow runs
2 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Added initial support for Cheshire platform seL4Test #2: Commit 8a3de65 pushed by omeh-a
November 25, 2024 01:17 47m 47s master
master
November 25, 2024 01:17 47m 47s
Re-enabled PLIC for Ariane seL4Test #1: Commit 65825d4 pushed by omeh-a
November 8, 2024 07:20 50m 44s master
master
November 8, 2024 07:20 50m 44s