Skip to content

Actions: seL4/verification-manifest

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
504 workflow runs
504 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

bump kernel revision to 'd6b4e774c riscv: Fix MAX_IRQ for QEMU platform' CI #1342: Commit 0d08e8d pushed by lsf37
November 11, 2024 17:51 28s master
master
November 11, 2024 17:51 28s
bump kernel revision to 'd6b4e774c riscv: Fix MAX_IRQ for QEMU platform' Trigger #455: Commit 0d08e8d pushed by lsf37
November 11, 2024 17:51 12s master
master
November 11, 2024 17:51 12s
[CI] Update default.xml. Changed: seL4 CI #1341: Commit ac48d12 pushed by seL4-ci
November 6, 2024 12:19 1m 20s master
master
November 6, 2024 12:19 1m 20s
[CI] Update seL4 to cpp-compatible version Trigger #454: Commit 9d0f905 pushed by seL4-ci
November 6, 2024 10:08 17s master
master
November 6, 2024 10:08 17s
[CI] Update seL4 to cpp-compatible version CI #1340: Commit 9d0f905 pushed by seL4-ci
November 6, 2024 10:08 38s master
master
November 6, 2024 10:08 38s
[CI] Update default.xml. Changed: seL4 CI #1339: Commit c926b74 pushed by seL4-ci
November 3, 2024 15:32 25s master
master
November 3, 2024 15:32 25s
[CI] Update seL4 to cpp-compatible version Trigger #453: Commit cdcaa4f pushed by seL4-ci
November 3, 2024 15:13 10s master
master
November 3, 2024 15:13 10s
[CI] Update seL4 to cpp-compatible version CI #1338: Commit cdcaa4f pushed by seL4-ci
November 3, 2024 15:13 37s master
master
November 3, 2024 15:13 37s
[CI] Update default.xml. Changed: seL4 CI #1337: Commit 2c7dadc pushed by seL4-ci
October 25, 2024 09:06 44s master
master
October 25, 2024 09:06 44s
bump kernel revision to 'c5b23791e configs: additional verified platf… Trigger #452: Commit 5c5aab2 pushed by lsf37
October 25, 2024 05:42 11s master
master
October 25, 2024 05:42 11s
bump kernel revision to 'c5b23791e configs: additional verified platf… CI #1336: Commit 5c5aab2 pushed by lsf37
October 25, 2024 05:42 21s master
master
October 25, 2024 05:42 21s
[CI] Update default.xml. Changed: l4v, seL4 CI #1335: Commit 87cf50d pushed by seL4-ci
October 24, 2024 10:57 32s master
master
October 24, 2024 10:57 32s
bump kernel revision to '03ad568c8 move cache flush from untyped rese… Trigger #451: Commit 87ac425 pushed by lsf37
October 24, 2024 04:34 21s master
master
October 24, 2024 04:34 21s
bump kernel revision to '03ad568c8 move cache flush from untyped rese… CI #1334: Commit 87ac425 pushed by lsf37
October 24, 2024 04:34 34s master
master
October 24, 2024 04:34 34s
[CI] Update mcs.xml. Changed: l4v, seL4 CI #1333: Commit 5379277 pushed by seL4-ci
October 21, 2024 09:23 30s master
master
October 21, 2024 09:23 30s
[CI] Update default.xml. Changed: seL4 CI #1332: Commit 4de1dec pushed by seL4-ci
October 21, 2024 02:40 27s master
master
October 21, 2024 02:40 27s
[CI] Update seL4 to cpp-compatible version Trigger #450: Commit 433da9b pushed by seL4-ci
October 20, 2024 23:38 1m 9s master
master
October 20, 2024 23:38 1m 9s
[CI] Update seL4 to cpp-compatible version CI #1331: Commit 433da9b pushed by seL4-ci
October 20, 2024 23:38 1m 20s master
master
October 20, 2024 23:38 1m 20s
mcs: bump kernel revision to '5dd34db62 mcs: refactor cancelAllIPC an… CI #1330: Commit df0c388 pushed by lsf37
October 20, 2024 23:38 1m 38s master
master
October 20, 2024 23:38 1m 38s
mcs: bump kernel revision to '7aac8a305 mcs: use sc_active in commitT… CI #1329: Commit 3d4aa8b pushed by lsf37
October 17, 2024 22:04 24s master
master
October 17, 2024 22:04 24s
[CI] Update default.xml. Changed: seL4 CI #1328: Commit 4399144 pushed by seL4-ci
October 17, 2024 09:24 26s master
master
October 17, 2024 09:24 26s
[CI] Update seL4 to cpp-compatible version Trigger #449: Commit 4b69448 pushed by seL4-ci
October 17, 2024 09:04 12s master
master
October 17, 2024 09:04 12s
[CI] Update seL4 to cpp-compatible version CI #1327: Commit 4b69448 pushed by seL4-ci
October 17, 2024 09:04 23s master
master
October 17, 2024 09:04 23s
[CI] Update default.xml. Changed: seL4 CI #1326: Commit b530a85 pushed by seL4-ci
October 15, 2024 07:13 38s master
master
October 15, 2024 07:13 38s
[CI] Update default.xml. Changed: seL4 CI #1325: Commit 63865a7 pushed by seL4-ci
October 15, 2024 04:47 24s master
master
October 15, 2024 04:47 24s