Skip to content

Actions: omeh-a/seL4

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
20 workflow runs
20 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

docs: README: Fix url to kernel features CI #3: Commit 4b23381 pushed by omeh-a
November 25, 2024 01:18 14m 2s master
master
November 25, 2024 01:18 14m 2s
docs: README: Fix url to kernel features RefMan #3: Commit 4b23381 pushed by omeh-a
November 25, 2024 01:18 14m 48s master
master
November 25, 2024 01:18 14m 48s
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
docs: README: Fix url to kernel features Compile #3: Commit 4b23381 pushed by omeh-a
November 25, 2024 01:18 17m 28s master
master
November 25, 2024 01:18 17m 28s
docs: README: Fix url to kernel features Trigger #3: Commit 4b23381 pushed by omeh-a
November 25, 2024 01:18 3s master
master
November 25, 2024 01:18 3s
docs: README: Fix url to kernel features C Parser #3: Commit 4b23381 pushed by omeh-a
November 25, 2024 01:18 14m 37s master
master
November 25, 2024 01:18 14m 37s
Added initial support for Cheshire platform RefMan #2: Commit 8a3de65 pushed by omeh-a
November 25, 2024 01:17 1m 35s master
master
November 25, 2024 01:17 1m 35s
Added initial support for Cheshire platform CI #2: Commit 8a3de65 pushed by omeh-a
November 25, 2024 01:17 26s master
master
November 25, 2024 01:17 26s
Added initial support for Cheshire platform Compile #2: Commit 8a3de65 pushed by omeh-a
November 25, 2024 01:17 1m 28s master
master
November 25, 2024 01:17 1m 28s
Added initial support for Cheshire platform C Parser #2: Commit 8a3de65 pushed by omeh-a
November 25, 2024 01:17 1m 35s master
master
November 25, 2024 01:17 1m 35s
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
Added initial support for Cheshire platform Trigger #2: Commit 8a3de65 pushed by omeh-a
November 25, 2024 01:17 3s master
master
November 25, 2024 01:17 3s
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 RefMan #1: Commit 65825d4 pushed by omeh-a
November 8, 2024 07:20 1m 34s master
master
November 8, 2024 07:20 1m 34s
Re-enabled PLIC for Ariane CI #1: Commit 65825d4 pushed by omeh-a
November 8, 2024 07:20 23s master
master
November 8, 2024 07:20 23s
Re-enabled PLIC for Ariane Compile #1: Commit 65825d4 pushed by omeh-a
November 8, 2024 07:20 3m 11s master
master
November 8, 2024 07:20 3m 11s
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
Re-enabled PLIC for Ariane C Parser #1: Commit 65825d4 pushed by omeh-a
November 8, 2024 07:20 1m 35s master
master
November 8, 2024 07:20 1m 35s
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
Re-enabled PLIC for Ariane Trigger #1: Commit 65825d4 pushed by omeh-a
November 8, 2024 07:20 3s master
master
November 8, 2024 07:20 3s