Skip to content

Actions: seL4/verification-manifest

Actions

Trigger

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
trigger.yml
155 workflow runs
155 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

[CI] Update seL4 to cpp-compatible version Trigger #419: Commit a0ca258 pushed by seL4-ci
June 27, 2024 14:33 13s master
master
June 27, 2024 14:33 13s
[CI] Update seL4 to cpp-compatible version Trigger #418: Commit 7f068fe pushed by seL4-ci
June 26, 2024 10:14 19s master
master
June 26, 2024 10:14 19s
[CI] Update seL4 to cpp-compatible version Trigger #417: Commit f58a5b7 pushed by seL4-ci
June 25, 2024 12:21 1m 0s master
master
June 25, 2024 12:21 1m 0s
[CI] Update seL4 to cpp-compatible version Trigger #416: Commit 311c02e pushed by seL4-ci
June 25, 2024 00:42 11s master
master
June 25, 2024 00:42 11s
[CI] Update seL4 to cpp-compatible version Trigger #415: Commit 0e8187d pushed by seL4-ci
June 22, 2024 08:09 11s master
master
June 22, 2024 08:09 11s
[CI] Update seL4 to cpp-compatible version Trigger #414: Commit c01e31b pushed by seL4-ci
June 20, 2024 09:47 16s master
master
June 20, 2024 09:47 16s
Bump kernel revision to '7592bbe46 CHANGES: update RFC links' Trigger #413: Commit 489a389 pushed by lsf37
June 20, 2024 07:18 13s master
master
June 20, 2024 07:18 13s
[CI] Update seL4 to cpp-compatible version Trigger #412: Commit 2945f44 pushed by seL4-ci
June 17, 2024 09:27 32s master
master
June 17, 2024 09:27 32s
Bump kernel revision to 'c28e52a1e mcs: refactor refill_unblock_check' Trigger #411: Commit a2d8311 pushed by lsf37
June 17, 2024 02:20 36s master
master
June 17, 2024 02:20 36s
Bump kernel revision to '5fd8602bc Manual: Document ARM Virtualisatio… Trigger #410: Commit 9cb58d8 pushed by lsf37
June 16, 2024 23:43 13s master
master
June 16, 2024 23:43 13s
Bump kernel revision to '1e6b69cdb arm tlb: guard TLB lockdown count' Trigger #409: Commit acd110b pushed by lsf37
June 16, 2024 10:17 10s master
master
June 16, 2024 10:17 10s
Bump kernel revision to '049580ffe cmake: style fix' Trigger #408: Commit 02f763f pushed by lsf37
June 16, 2024 04:40 11s master
master
June 16, 2024 04:40 11s
Bump kernel revision to '6e9370a56 ioapic: set IOAPIC_IRQ_LINES to ma… Trigger #407: Commit 566fcdd pushed by lsf37
June 14, 2024 08:35 11s master
master
June 14, 2024 08:35 11s
[CI] Update seL4 to cpp-compatible version Trigger #406: Commit f1f2066 pushed by seL4-ci
June 13, 2024 23:09 10s master
master
June 13, 2024 23:09 10s
[CI] Update seL4 to cpp-compatible version Trigger #405: Commit c031c6e pushed by seL4-ci
June 12, 2024 13:09 25s master
master
June 12, 2024 13:09 25s
Bump kernel revision to 'ecec5e4af pc99: only access real IOAPIC regi… Trigger #404: Commit 9d5b812 pushed by lsf37
June 12, 2024 04:04 9s master
master
June 12, 2024 04:04 9s
Update to Isabelle2024 (#19) Trigger #403: Commit 83834ea pushed by corlewis
June 12, 2024 03:25 10s master
master
June 12, 2024 03:25 10s
[CI] Update seL4 to cpp-compatible version Trigger #402: Commit 46893cd pushed by seL4-ci
June 11, 2024 14:50 20s master
master
June 11, 2024 14:50 20s
[CI] Update seL4 to cpp-compatible version Trigger #401: Commit f19da1e pushed by seL4-ci
May 27, 2024 04:37 11s master
master
May 27, 2024 04:37 11s
[CI] Update seL4 to cpp-compatible version Trigger #400: Commit 7f4e7a3 pushed by seL4-ci
May 23, 2024 14:50 1m 19s master
master
May 23, 2024 14:50 1m 19s
Bump kernel revision to '686bba4d2 mcs: more uniformly handle ready a… Trigger #399: Commit 24fc322 pushed by lsf37
May 23, 2024 08:07 54s master
master
May 23, 2024 08:07 54s
[CI] Update seL4 to cpp-compatible version Trigger #398: Commit a4371c2 pushed by seL4-ci
May 2, 2024 09:20 10s master
master
May 2, 2024 09:20 10s
[CI] Update seL4 to cpp-compatible version Trigger #397: Commit cc78b20 pushed by seL4-ci
May 2, 2024 01:14 2m 47s master
master
May 2, 2024 01:14 2m 47s
[CI] Update seL4 to cpp-compatible version Trigger #396: Commit 5a56204 pushed by seL4-ci
April 28, 2024 00:30 15s master
master
April 28, 2024 00:30 15s
[CI] Update seL4 to cpp-compatible version Trigger #395: Commit 01d0199 pushed by seL4-ci
April 11, 2024 08:24 2m 0s master
master
April 11, 2024 08:24 2m 0s