Skip to content

Actions: seL4/ci-actions

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
312 workflow runs
312 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

make flags more intuitive
CI #1153: Pull request #303 synchronize by lsf37
January 27, 2024 08:08 26s axel-h:patch-axel-3
January 27, 2024 08:08 26s
camkes-vm: add vm_minimal for ODROID_C2
CI #1152: Commit a8a89b6 pushed by lsf37
January 27, 2024 07:59 23s master
January 27, 2024 07:59 23s
camkes-vm: add vm_minimal for ODROID_C2
CI #1151: Pull request #317 synchronize by lsf37
January 27, 2024 07:58 26s axel-h:patch-axel-13
January 27, 2024 07:58 26s
camkes-vm: use platform specific names
CI #1150: Commit 999eae2 pushed by lsf37
January 27, 2024 07:47 27s master
January 27, 2024 07:47 27s
camkes-vm: use platform specific names
CI #1149: Pull request #318 opened by axel-h
January 27, 2024 05:57 27s axel-h:patch-axel-12
January 27, 2024 05:57 27s
camkes-vm: add vm_minimal for ODROID_C2
CI #1148: Pull request #317 opened by axel-h
January 27, 2024 05:50 29s axel-h:patch-axel-13
January 27, 2024 05:50 29s
make flags more intuitive
CI #1147: Pull request #303 synchronize by axel-h
January 27, 2024 03:52 26s axel-h:patch-axel-3
January 27, 2024 03:52 26s
platforms: add RPi4 32-bit build
CI #1146: Pull request #288 synchronize by axel-h
January 27, 2024 03:46 41s axel-h:patch-axel-4
January 27, 2024 03:46 41s
camkes-vm: add vm_introspect
CI #1145: Commit 54efc81 pushed by lsf37
January 27, 2024 03:35 23s master
January 27, 2024 03:35 23s
platforms: add RPi4 32-bit build
CI #1144: Pull request #288 synchronize by axel-h
January 27, 2024 03:32 23s axel-h:patch-axel-4
January 27, 2024 03:32 23s
camkes-vm: add vm_introspect
CI #1143: Pull request #268 synchronize by axel-h
January 27, 2024 03:31 27s Hensoldt-Cyber:patch-axel-8
January 27, 2024 03:31 27s
camkes-vm: fix typo in settings key string
CI #1142: Commit e675070 pushed by lsf37
January 27, 2024 03:23 27s master
January 27, 2024 03:23 27s
camkes-vm: fix typo in settings key string
CI #1141: Pull request #316 opened by axel-h
January 26, 2024 18:11 27s axel-h:patch-axel-9
January 26, 2024 18:11 27s
make flags more intuitive
CI #1140: Pull request #303 synchronize by axel-h
January 26, 2024 13:21 23s axel-h:patch-axel-3
January 26, 2024 13:21 23s
platforms: add RPi4 32-bit build
CI #1139: Pull request #288 synchronize by axel-h
January 26, 2024 13:17 36s axel-h:patch-axel-4
January 26, 2024 13:17 36s
camkes-vm: add vm_introspect
CI #1138: Pull request #268 synchronize by axel-h
January 26, 2024 13:16 44s Hensoldt-Cyber:patch-axel-8
January 26, 2024 13:16 44s
camkes-vm: add vm_minimal_zcu102
CI #1137: Commit 50bdd6a pushed by lsf37
January 25, 2024 22:09 35s master
January 25, 2024 22:09 35s
camkes-vm: add vm_minimal_zcu102 run
CI #1136: Pull request #314 synchronize by lsf37
January 25, 2024 22:07 1m 10s camkes-vm-zcu102
January 25, 2024 22:07 1m 10s
camkes-vm: add vm_introspect
CI #1135: Pull request #268 synchronize by axel-h
January 25, 2024 15:15 48s Hensoldt-Cyber:patch-axel-8
January 25, 2024 15:15 48s
make flags more intuitive
CI #1134: Pull request #303 synchronize by axel-h
January 25, 2024 15:10 25s axel-h:patch-axel-3
January 25, 2024 15:10 25s
platforms: add RPi4 32-bit build
CI #1133: Pull request #288 synchronize by axel-h
January 25, 2024 15:07 31s axel-h:patch-axel-4
January 25, 2024 15:07 31s
bashisms: bump devscripts version
CI #1132: Commit ecc75c6 pushed by axel-h
January 25, 2024 15:05 34s master
January 25, 2024 15:05 34s
camkes-vm: add vm_introspect
CI #1131: Pull request #268 synchronize by axel-h
January 25, 2024 14:46 41s Hensoldt-Cyber:patch-axel-8
January 25, 2024 14:46 41s
bashisms: bump devscripts version
CI #1130: Pull request #315 opened by lsf37
January 25, 2024 02:11 27s devscripts-bump
January 25, 2024 02:11 27s
camkes-vm: add vm_minimal_zcu102 run
CI #1129: Pull request #314 opened by lsf37
January 24, 2024 22:59 33s camkes-vm-zcu102
January 24, 2024 22:59 33s