Skip to content

Actions: seL4/ci-actions

Actions

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
push.yml
312 workflow runs
312 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

add ARMVIRT32 platform CI #1203: Commit a97f219 pushed by lsf37
February 6, 2024 04:04 34s master
master
February 6, 2024 04:04 34s
add ARMVIRT32 platform CI #1202: Pull request #330 synchronize by axel-h
February 1, 2024 20:24 31s axel-h:patch-axel-12
axel-h:patch-axel-12
February 1, 2024 20:24 31s
add ARMVIRT32 platform CI #1201: Pull request #330 opened by axel-h
February 1, 2024 20:15 43s axel-h:patch-axel-12
axel-h:patch-axel-12
February 1, 2024 20:15 43s
camkes-vm: add vm_minimal_smp_ZCU102_2022_1 CI #1200: Pull request #327 synchronize by axel-h
February 1, 2024 01:42 30s axel-h:patch-axel-11
axel-h:patch-axel-11
February 1, 2024 01:42 30s
platforms: add RPi4 32-bit build CI #1199: Pull request #288 synchronize by axel-h
February 1, 2024 01:42 28s axel-h:patch-axel-4
axel-h:patch-axel-4
February 1, 2024 01:42 28s
platforms: add polarfire hardware build CI #1198: Commit f30c716 pushed by Ivan-Velickovic
February 1, 2024 01:33 33s master
master
February 1, 2024 01:33 33s
platforms: add polarfire hardware build CI #1197: Pull request #328 opened by lsf37
February 1, 2024 00:22 30s polarfire
polarfire
February 1, 2024 00:22 30s
camkes-vm: add vm_minimal_smp_ZCU102_2022_1 CI #1196: Pull request #327 opened by axel-h
January 31, 2024 23:36 27s axel-h:patch-axel-11
axel-h:patch-axel-11
January 31, 2024 23:36 27s
platforms: add RPi4 32-bit build CI #1195: Pull request #288 synchronize by axel-h
January 31, 2024 22:49 29s axel-h:patch-axel-4
axel-h:patch-axel-4
January 31, 2024 22:49 29s
platforms: switch to different odroidxu4 board CI #1194: Commit 08f4dc6 pushed by Indanz
January 31, 2024 22:47 30s master
master
January 31, 2024 22:47 30s
platforms: switch to different odroidxu4 board CI #1193: Pull request #326 opened by lsf37
January 31, 2024 22:42 27s odroid_xu4
odroid_xu4
January 31, 2024 22:42 27s
platforms: add RPi4 32-bit build CI #1192: Pull request #288 synchronize by axel-h
January 31, 2024 22:36 2m 25s axel-h:patch-axel-4
axel-h:patch-axel-4
January 31, 2024 22:36 2m 25s
camkes-vm: add builds for petalinux versions (#325) CI #1191: Commit 4cbec8f pushed by lsf37
January 31, 2024 22:32 29s master
master
January 31, 2024 22:32 29s
camkes-vm: add builds for petalinux versions CI #1190: Pull request #325 synchronize by chrisguikema
January 31, 2024 22:29 55s chrisguikema:zcu102_camkes_vm_petalinux
chrisguikema:zcu102_camkes_vm_petalinux
January 31, 2024 22:29 55s
camkes-vm: add ping/arping test on zcu102 (#319) CI #1189: Commit e740321 pushed by lsf37
January 31, 2024 22:25 30s master
master
January 31, 2024 22:25 30s
camkes-vm: add builds for petalinux versions CI #1188: Pull request #325 opened by chrisguikema
January 31, 2024 15:25 31s chrisguikema:zcu102_camkes_vm_petalinux
chrisguikema:zcu102_camkes_vm_petalinux
January 31, 2024 15:25 31s
camkes-vm: test ping/arping on zcu102 CI #1187: Pull request #319 synchronize by axel-h
January 31, 2024 15:06 35s axel-h:patch-axel-9
axel-h:patch-axel-9
January 31, 2024 15:06 35s
camkes-vm: test ping/arping on zcu102 CI #1186: Pull request #319 synchronize by axel-h
January 30, 2024 17:31 48s axel-h:patch-axel-9
axel-h:patch-axel-9
January 30, 2024 17:31 48s
camkes-vm: test ping/arping on zcu102 CI #1185: Pull request #319 synchronize by axel-h
January 30, 2024 11:15 35s axel-h:patch-axel-9
axel-h:patch-axel-9
January 30, 2024 11:15 35s
camkes-vm: test ping/arping on zcu102 CI #1184: Pull request #319 synchronize by axel-h
January 30, 2024 11:15 36s axel-h:patch-axel-9
axel-h:patch-axel-9
January 30, 2024 11:15 36s
platforms: add RPi4 32-bit build CI #1183: Pull request #288 synchronize by axel-h
January 30, 2024 10:52 32s axel-h:patch-axel-4
axel-h:patch-axel-4
January 30, 2024 10:52 32s
platforms: revert custom settings CI #1182: Commit fcb7f29 pushed by lsf37
January 30, 2024 07:59 1m 8s master
master
January 30, 2024 07:59 1m 8s
platforms: revert custom settings CI #1181: Pull request #324 opened by Ivan-Velickovic
January 30, 2024 07:34 31s revert_settings_override
revert_settings_override
January 30, 2024 07:34 31s
platforms: set ZCU102 image to binary CI #1180: Commit 59703f6 pushed by Ivan-Velickovic
January 30, 2024 03:47 40s master
master
January 30, 2024 03:47 40s
platforms: allow setting extra flags to be passed to build CI #1179: Pull request #310 synchronize by Ivan-Velickovic
January 30, 2024 03:41 42s sel4test_flags
sel4test_flags
January 30, 2024 03:41 42s