Skip to content

Actions: seL4/seL4

Actions

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
push.yml
1,155 workflow runs
1,155 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Microkit x86 CI #5985: Pull request #1340 opened by matneutrality
October 31, 2024 17:05 27s Neutrality-ch:microkit-x86-rebased
Neutrality-ch:microkit-x86-rebased
October 31, 2024 17:05 27s
FPU Context Switching CI #5984: Pull request #1325 synchronize by Indanz
October 31, 2024 17:03 27s Indanz:fpu
Indanz:fpu
October 31, 2024 17:03 27s
boot: fix init_freemem skipping reserved regions CI #5983: Pull request #1317 synchronize by FennelFoxxo
October 30, 2024 21:53 25s FennelFoxxo:fix_freemem
FennelFoxxo:fix_freemem
October 30, 2024 21:53 25s
boot: fix init_freemem skipping reserved regions CI #5982: Pull request #1317 synchronize by Indanz
October 30, 2024 10:26 27s FennelFoxxo:fix_freemem
FennelFoxxo:fix_freemem
October 30, 2024 10:26 27s
Fixes #1334: install target fails arm_hyp configs CI #5981: Pull request #1338 opened by kent-mcleod
October 28, 2024 23:06 25s kent-mcleod:kent/1334
kent-mcleod:kent/1334
October 28, 2024 23:06 25s
arm,gic_v3: consolidate types for verification CI #5980: Pull request #1337 opened by lsf37
October 25, 2024 05:39 19s lsf37/gic-v3-types
lsf37/gic-v3-types
October 25, 2024 05:39 19s
configs: additional verified platforms CI #5979: Commit c5b2379 pushed by lsf37
October 25, 2024 05:23 23s master
master
October 25, 2024 05:23 23s
configs: additional verified platforms CI #5978: Pull request #1326 synchronize by lsf37
October 25, 2024 03:02 28s lsf37/verified-platforms
lsf37/verified-platforms
October 25, 2024 03:02 28s
move cache flush from untyped reset to retype CI #5977: Commit 03ad568 pushed by lsf37
October 24, 2024 04:33 24s master
master
October 24, 2024 04:33 24s
thread state: abandon replyObject NULL invariant CI #5976: Pull request #1297 synchronize by lsf37
October 23, 2024 00:21 36s lsf37/reply_push
lsf37/reply_push
October 23, 2024 00:21 36s
move cache flush from untyped reset to retype CI #5975: Pull request #1289 synchronize by lsf37
October 21, 2024 23:05 23s lsf37/faster-ut-reset
lsf37/faster-ut-reset
October 21, 2024 23:05 23s
smp/ipi.c: ipi send mask improvement CI #5973: Pull request #1331 synchronize by JorgeMVP
October 21, 2024 01:51 35s JorgeMVP:jorge-pereira/ipi-small-improvement
JorgeMVP:jorge-pereira/ipi-small-improvement
October 21, 2024 01:51 35s
gic_v3: fix SRE in hyp mode CI #5972: Pull request #1332 synchronize by JorgeMVP
October 21, 2024 01:51 26s JorgeMVP:jorge-pereira/fix-sre-hyp-aarch
JorgeMVP:jorge-pereira/fix-sre-hyp-aarch
October 21, 2024 01:51 26s
mcs: refactor cancelAllIPC and cancelBadgedSends CI #5971: Commit 5dd34db pushed by lsf37
October 20, 2024 23:36 18s master
master
October 20, 2024 23:36 18s
Add SCO binding and reference to Notification section CI #5970: Pull request #1336 opened by jimmydeen
October 20, 2024 07:18 24s jimmydeen:patch-2
jimmydeen:patch-2
October 20, 2024 07:18 24s
Add sc_donation section CI #5969: Pull request #1335 opened by jimmydeen
October 20, 2024 07:16 25s jimmydeen:patch-1
jimmydeen:patch-1
October 20, 2024 07:16 25s
aarch64/vcpu: refine guest vcpu context CI #5968: Pull request #1318 synchronize by JorgeMVP
October 19, 2024 00:17 20s JorgeMVP:jorge-pereira/add-par_el1-vcpu-context
JorgeMVP:jorge-pereira/add-par_el1-vcpu-context
October 19, 2024 00:17 20s
smp/ipi.c: ipi send mask improvement CI #5967: Pull request #1331 synchronize by JorgeMVP
October 19, 2024 00:16 25s JorgeMVP:jorge-pereira/ipi-small-improvement
JorgeMVP:jorge-pereira/ipi-small-improvement
October 19, 2024 00:16 25s
gic_v3: fix SRE in hyp mode CI #5966: Pull request #1332 synchronize by JorgeMVP
October 19, 2024 00:16 24s JorgeMVP:jorge-pereira/fix-sre-hyp-aarch
JorgeMVP:jorge-pereira/fix-sre-hyp-aarch
October 19, 2024 00:16 24s
mcs: refactor cancelAllIPC and cancelBadgedSends CI #5965: Pull request #1302 synchronize by lsf37
October 17, 2024 22:31 25s michaelm/restart_thread_if_no_fault
michaelm/restart_thread_if_no_fault
October 17, 2024 22:31 25s
mcs: use sc_active in commitTime CI #5964: Commit 7aac8a3 pushed by lsf37
October 17, 2024 09:01 27s master
master
October 17, 2024 09:01 27s
[RFC-15][draft] Add experimental CHERI support CI #5963: Pull request #1322 synchronize by heshamelmatary
October 17, 2024 00:24 23s CTSRD-CHERI:cheri
CTSRD-CHERI:cheri
October 17, 2024 00:24 23s
[RFC-15][draft] Add experimental CHERI support CI #5962: Pull request #1322 synchronize by heshamelmatary
October 16, 2024 22:15 25s CTSRD-CHERI:cheri
CTSRD-CHERI:cheri
October 16, 2024 22:15 25s
[RFC-15][draft] Add experimental CHERI support CI #5961: Pull request #1322 synchronize by heshamelmatary
October 16, 2024 22:00 24s CTSRD-CHERI:cheri
CTSRD-CHERI:cheri
October 16, 2024 22:00 24s
[RFC-15][draft] Add experimental CHERI support CI #5960: Pull request #1322 synchronize by heshamelmatary
October 16, 2024 07:12 28s CTSRD-CHERI:cheri
CTSRD-CHERI:cheri
October 16, 2024 07:12 28s