Skip to content

Actions: seL4/seL4

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
9,632 workflow runs
9,632 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

mcs: refactor reply functions to ease verification Proof Sync #535: Commit fd14374 pushed by lsf37
April 4, 2025 04:21 1m 14s master
master
April 4, 2025 04:21 1m 14s
mcs: refactor reply functions to ease verification Deploy #859: Commit fd14374 pushed by lsf37
April 4, 2025 04:21 4h 22m 45s master
master
April 4, 2025 04:21 4h 22m 45s
mcs: refactor reply functions to ease verification C Parser #5452: Commit fd14374 pushed by lsf37
April 4, 2025 04:21 1m 32s master
master
April 4, 2025 04:21 1m 32s
mcs: refactor reply functions to ease verification CI #6456: Commit fd14374 pushed by lsf37
April 4, 2025 04:21 23s master
master
April 4, 2025 04:21 23s
mcs: refactor reply functions to ease verification RefMan #5556: Commit fd14374 pushed by lsf37
April 4, 2025 04:21 1m 22s master
master
April 4, 2025 04:21 1m 22s
mcs: refactor reply functions to ease verification Compile #6365: Commit fd14374 pushed by lsf37
April 4, 2025 04:21 1m 6s master
master
April 4, 2025 04:21 1m 6s
mcs: refactor reply functions to ease verification Trigger #514: Commit fd14374 pushed by lsf37
April 4, 2025 04:21 16s master
master
April 4, 2025 04:21 16s
deps-update Deploy #858: Repository dispatch triggered by seL4-ci
April 4, 2025 04:05 51m 58s
April 4, 2025 04:05 51m 58s
mcs: refactor reply functions to ease verification PR #5750: Pull request #1440 synchronize by michaelmcinerney
April 4, 2025 01:07 1m 25s michaelm/reply_functions
michaelm/reply_functions
April 4, 2025 01:07 1m 25s
mcs: refactor reply functions to ease verification CI #6455: Pull request #1440 synchronize by michaelmcinerney
April 4, 2025 01:07 27s michaelm/reply_functions
michaelm/reply_functions
April 4, 2025 01:07 27s
mcs: refactor reply functions to ease verification seL4Test #4749: Pull request #1440 synchronize by michaelmcinerney
April 4, 2025 01:07 13m 12s michaelm/reply_functions
michaelm/reply_functions
April 4, 2025 01:07 13m 12s
mcs: refactor reply functions to ease verification Compile #6364: Pull request #1440 synchronize by michaelmcinerney
April 4, 2025 01:07 1m 11s michaelm/reply_functions
michaelm/reply_functions
April 4, 2025 01:07 1m 11s
mcs: refactor reply functions to ease verification C Parser #5451: Pull request #1440 synchronize by michaelmcinerney
April 4, 2025 01:07 1m 31s michaelm/reply_functions
michaelm/reply_functions
April 4, 2025 01:07 1m 31s
mcs: refactor reply functions to ease verification RefMan #5555: Pull request #1440 synchronize by michaelmcinerney
April 4, 2025 01:07 1m 38s michaelm/reply_functions
michaelm/reply_functions
April 4, 2025 01:07 1m 38s
mcs: refactor reply functions to ease verification HW #192: Pull request #1440 synchronize by michaelmcinerney
April 4, 2025 01:07 6s
April 4, 2025 01:07 6s
mcs: refactor reply functions to ease verification Proofs #4901: Pull request #1440 synchronize by michaelmcinerney
April 4, 2025 01:07 2s
April 4, 2025 01:07 2s
arch/x86: Support Xen x86/HVM direct boot ABI PR #5749: Pull request #1443 synchronize by losfair
April 2, 2025 08:58 1m 18s losfair:pvh-direct-boot
losfair:pvh-direct-boot
April 2, 2025 08:58 1m 18s
arch/x86: Support Xen x86/HVM direct boot ABI seL4Test #4748: Pull request #1443 synchronize by losfair
April 2, 2025 08:58 13m 19s losfair:pvh-direct-boot
losfair:pvh-direct-boot
April 2, 2025 08:58 13m 19s
arch/x86: Support Xen x86/HVM direct boot ABI CI #6454: Pull request #1443 synchronize by losfair
April 2, 2025 08:58 24s losfair:pvh-direct-boot
losfair:pvh-direct-boot
April 2, 2025 08:58 24s
arch/x86: Support Xen x86/HVM direct boot ABI Compile #6363: Pull request #1443 synchronize by losfair
April 2, 2025 08:58 1m 12s losfair:pvh-direct-boot
losfair:pvh-direct-boot
April 2, 2025 08:58 1m 12s
arch/x86: Support Xen x86/HVM direct boot ABI RefMan #5554: Pull request #1443 synchronize by losfair
April 2, 2025 08:58 1m 29s losfair:pvh-direct-boot
losfair:pvh-direct-boot
April 2, 2025 08:58 1m 29s
arch/x86: Support Xen x86/HVM direct boot ABI C Parser #5450: Pull request #1443 synchronize by losfair
April 2, 2025 08:58 1m 34s losfair:pvh-direct-boot
losfair:pvh-direct-boot
April 2, 2025 08:58 1m 34s
arch/x86: Support Xen x86/HVM direct boot ABI HW #191: Pull request #1443 synchronize by losfair
April 2, 2025 08:58 5s
April 2, 2025 08:58 5s
arch/x86: Support Xen x86/HVM direct boot ABI Proofs #4900: Pull request #1443 synchronize by losfair
April 2, 2025 08:58 2s
April 2, 2025 08:58 2s
arch/x86: Support Xen x86/HVM direct boot ABI seL4Test #4747: Pull request #1443 synchronize by losfair
April 2, 2025 08:49 Action required losfair:pvh-direct-boot
losfair:pvh-direct-boot
April 2, 2025 08:49 Action required