Skip to content

Actions: omeh-a/seL4

Actions

Proof Sync

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
preprocess-deploy.yml
3 workflow runs
3 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

docs: README: Fix url to kernel features Proof Sync #3: Commit 4b23381 pushed by omeh-a
November 25, 2024 01:18 18m 40s master
master
November 25, 2024 01:18 18m 40s
Added initial support for Cheshire platform Proof Sync #2: Commit 8a3de65 pushed by omeh-a
November 25, 2024 01:17 18m 25s master
master
November 25, 2024 01:17 18m 25s
Re-enabled PLIC for Ariane Proof Sync #1: Commit 65825d4 pushed by omeh-a
November 8, 2024 07:20 48m 46s master
master
November 8, 2024 07:20 48m 46s