Skip to content

Actions: seL4/seL4

Actions

Compile

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
compilation-checks.yml
1,201 workflow runs
1,201 workflow runs

Filter by Event

Loading

Filter by Status

Loading

Filter by Branch

Loading

Filter by Actor

Loading
QEMU: ensure output folder exists Compile #5751: Pull request #1235 synchronize by lsf37
July 17, 2024 23:57 1m 5s axel-h:patch-axel-100
axel-h:patch-axel-100
July 17, 2024 23:57 1m 5s
move cache flush from untyped reset to retype Compile #5750: Pull request #1289 synchronize by lsf37
July 17, 2024 06:55 1m 3s lsf37/faster-ut-reset
lsf37/faster-ut-reset
July 17, 2024 06:55 1m 3s
AArch64: Hardware Debug API port Compile #5749: Pull request #1206 synchronize by alwin-joshy
July 17, 2024 01:29 2m 11s alwin-joshy:refactor_hw_debug_aarch32_attempt_iz
alwin-joshy:refactor_hw_debug_aarch32_attempt_iz
July 17, 2024 01:29 2m 11s
AArch64: Hardware Debug API port Compile #5748: Pull request #1206 synchronize by alwin-joshy
July 17, 2024 00:54 1m 8s alwin-joshy:refactor_hw_debug_aarch32_attempt_iz
alwin-joshy:refactor_hw_debug_aarch32_attempt_iz
July 17, 2024 00:54 1m 8s
AArch64: Hardware Debug API port Compile #5747: Pull request #1206 synchronize by alwin-joshy
July 17, 2024 00:28 1m 38s alwin-joshy:refactor_hw_debug_aarch32_attempt_iz
alwin-joshy:refactor_hw_debug_aarch32_attempt_iz
July 17, 2024 00:28 1m 38s
AArch64: Hardware Debug API port Compile #5746: Pull request #1206 synchronize by alwin-joshy
July 17, 2024 00:26 2m 8s alwin-joshy:refactor_hw_debug_aarch32_attempt_iz
alwin-joshy:refactor_hw_debug_aarch32_attempt_iz
July 17, 2024 00:26 2m 8s
cleanup includes: unify definition of wordBits, move check from arch to mode headers Compile #5745: Pull request #584 synchronize by lsf37
July 16, 2024 23:52 1m 7s axel-h:patch-axel-17
axel-h:patch-axel-17
July 16, 2024 23:52 1m 7s
thread state: abandon replyObject NULL invariant Compile #5744: Pull request #1297 synchronize by lsf37
July 16, 2024 23:12 4m 47s lsf37/reply_push
lsf37/reply_push
July 16, 2024 23:12 4m 47s
mcs: remove parameter from schedContext_unbindTCB Compile #5743: Commit 6b6bb12 pushed by lsf37
July 16, 2024 23:11 1m 15s master
master
July 16, 2024 23:11 1m 15s
mcs: remove parameter from schedContext_unbindTCB Compile #5742: Pull request #1298 synchronize by lsf37
July 16, 2024 11:30 1m 7s michaelm/schedContext_unbindTCB
michaelm/schedContext_unbindTCB
July 16, 2024 11:30 1m 7s
thread state: abandon replyObject NULL invariant Compile #5741: Pull request #1297 synchronize by lsf37
July 16, 2024 08:04 3m 39s lsf37/reply_push
lsf37/reply_push
July 16, 2024 08:04 3m 39s
mcs: refactor awaken Compile #5740: Commit 220ef4f pushed by lsf37
July 16, 2024 08:01 1m 5s master
master
July 16, 2024 08:01 1m 5s
thread state: abandon replyObject NULL invariant Compile #5739: Pull request #1297 synchronize by lsf37
July 16, 2024 05:51 1m 8s lsf37/reply_push
lsf37/reply_push
July 16, 2024 05:51 1m 8s
mcs: remove parameter from schedContext_unbindTCB Compile #5738: Pull request #1298 opened by michaelmcinerney
July 16, 2024 02:38 1m 8s michaelm/schedContext_unbindTCB
michaelm/schedContext_unbindTCB
July 16, 2024 02:38 1m 8s
thread state: abandon replyObject NULL invariant Compile #5737: Pull request #1297 synchronize by lsf37
July 16, 2024 00:36 1m 12s lsf37/reply_push
lsf37/reply_push
July 16, 2024 00:36 1m 12s
thread state: abandon replyObject NULL invariant Compile #5736: Pull request #1297 synchronize by lsf37
July 16, 2024 00:01 1m 7s lsf37/reply_push
lsf37/reply_push
July 16, 2024 00:01 1m 7s
thread state: abandon replyObject NULL invariant Compile #5735: Pull request #1297 synchronize by lsf37
July 15, 2024 21:39 1m 18s lsf37/reply_push
lsf37/reply_push
July 15, 2024 21:39 1m 18s
[patch-axel-16] fault handler debug Compile #5734: Pull request #862 synchronize by axel-h
July 15, 2024 13:51 1m 14s axel-h:patch-axel-16
axel-h:patch-axel-16
July 15, 2024 13:51 1m 14s
[patch-axel-16] fault handler debug Compile #5733: Pull request #862 synchronize by axel-h
July 15, 2024 13:41 1m 23s axel-h:patch-axel-16
axel-h:patch-axel-16
July 15, 2024 13:41 1m 23s
[patch-axel-16] fault handler debug Compile #5732: Pull request #862 synchronize by axel-h
July 15, 2024 13:16 1m 27s axel-h:patch-axel-16
axel-h:patch-axel-16
July 15, 2024 13:16 1m 27s
thread state: abandon replyObject NULL invariant Compile #5731: Pull request #1297 synchronize by lsf37
July 15, 2024 07:00 1m 4s lsf37/reply_push
lsf37/reply_push
July 15, 2024 07:00 1m 4s
thread state: abandon replyObject NULL invariant Compile #5730: Pull request #1297 synchronize by lsf37
July 15, 2024 06:57 1m 5s lsf37/reply_push
lsf37/reply_push
July 15, 2024 06:57 1m 5s
thread state: abandon replyObject NULL invariant Compile #5729: Pull request #1297 opened by lsf37
July 15, 2024 06:56 1m 4s lsf37/reply_push
lsf37/reply_push
July 15, 2024 06:56 1m 4s
[patch-axel-16] fault handler debug Compile #5728: Pull request #862 synchronize by axel-h
July 12, 2024 19:36 1m 8s axel-h:patch-axel-16
axel-h:patch-axel-16
July 12, 2024 19:36 1m 8s
[patch-axel-16] fault handler debug Compile #5727: Pull request #862 synchronize by axel-h
July 12, 2024 19:30 1m 19s axel-h:patch-axel-16
axel-h:patch-axel-16
July 12, 2024 19:30 1m 19s