Skip to content

Actions: seL4/ci-actions

Actions

PR

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
pr.yml
236 workflow runs
236 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

make flags more intuitive PR #802: Pull request #303 synchronize by axel-h
January 27, 2024 13:30 17s axel-h:patch-axel-3
axel-h:patch-axel-3
January 27, 2024 13:30 17s
make flags more intuitive PR #801: Pull request #303 synchronize by axel-h
January 27, 2024 13:30 16s axel-h:patch-axel-3
axel-h:patch-axel-3
January 27, 2024 13:30 16s
make flags more intuitive PR #800: Pull request #303 synchronize by axel-h
January 27, 2024 13:18 17s axel-h:patch-axel-3
axel-h:patch-axel-3
January 27, 2024 13:18 17s
platforms: add RPi4 32-bit build PR #799: Pull request #288 synchronize by axel-h
January 27, 2024 13:16 26s axel-h:patch-axel-4
axel-h:patch-axel-4
January 27, 2024 13:16 26s
make flags more intuitive PR #798: Pull request #303 synchronize by lsf37
January 27, 2024 08:08 20s axel-h:patch-axel-3
axel-h:patch-axel-3
January 27, 2024 08:08 20s
camkes-vm: add vm_minimal for ODROID_C2 PR #797: Pull request #317 synchronize by lsf37
January 27, 2024 07:58 17s axel-h:patch-axel-13
axel-h:patch-axel-13
January 27, 2024 07:58 17s
camkes-vm: use platform specific names PR #796: Pull request #318 opened by axel-h
January 27, 2024 05:57 16s axel-h:patch-axel-12
axel-h:patch-axel-12
January 27, 2024 05:57 16s
camkes-vm: add vm_minimal for ODROID_C2 PR #795: Pull request #317 opened by axel-h
January 27, 2024 05:50 22s axel-h:patch-axel-13
axel-h:patch-axel-13
January 27, 2024 05:50 22s
make flags more intuitive PR #794: Pull request #303 synchronize by axel-h
January 27, 2024 03:52 17s axel-h:patch-axel-3
axel-h:patch-axel-3
January 27, 2024 03:52 17s
platforms: add RPi4 32-bit build PR #793: Pull request #288 synchronize by axel-h
January 27, 2024 03:46 18s axel-h:patch-axel-4
axel-h:patch-axel-4
January 27, 2024 03:46 18s
platforms: add RPi4 32-bit build PR #792: Pull request #288 synchronize by axel-h
January 27, 2024 03:32 24s axel-h:patch-axel-4
axel-h:patch-axel-4
January 27, 2024 03:32 24s
camkes-vm: add vm_introspect PR #791: Pull request #268 synchronize by axel-h
January 27, 2024 03:31 17s Hensoldt-Cyber:patch-axel-8
Hensoldt-Cyber:patch-axel-8
January 27, 2024 03:31 17s
camkes-vm: fix typo in settings key string PR #790: Pull request #316 opened by axel-h
January 26, 2024 18:11 23s axel-h:patch-axel-9
axel-h:patch-axel-9
January 26, 2024 18:11 23s
make flags more intuitive PR #789: Pull request #303 synchronize by axel-h
January 26, 2024 13:21 21s axel-h:patch-axel-3
axel-h:patch-axel-3
January 26, 2024 13:21 21s
platforms: add RPi4 32-bit build PR #788: Pull request #288 synchronize by axel-h
January 26, 2024 13:17 21s axel-h:patch-axel-4
axel-h:patch-axel-4
January 26, 2024 13:17 21s
camkes-vm: add vm_introspect PR #787: Pull request #268 synchronize by axel-h
January 26, 2024 13:16 22s Hensoldt-Cyber:patch-axel-8
Hensoldt-Cyber:patch-axel-8
January 26, 2024 13:16 22s
camkes-vm: add vm_minimal_zcu102 run PR #786: Pull request #314 synchronize by lsf37
January 25, 2024 22:07 42s camkes-vm-zcu102
camkes-vm-zcu102
January 25, 2024 22:07 42s
camkes-vm: add vm_introspect PR #785: Pull request #268 synchronize by axel-h
January 25, 2024 15:15 23s Hensoldt-Cyber:patch-axel-8
Hensoldt-Cyber:patch-axel-8
January 25, 2024 15:15 23s
make flags more intuitive PR #784: Pull request #303 synchronize by axel-h
January 25, 2024 15:10 20s axel-h:patch-axel-3
axel-h:patch-axel-3
January 25, 2024 15:10 20s
platforms: add RPi4 32-bit build PR #783: Pull request #288 synchronize by axel-h
January 25, 2024 15:07 24s axel-h:patch-axel-4
axel-h:patch-axel-4
January 25, 2024 15:07 24s
camkes-vm: add vm_introspect PR #782: Pull request #268 synchronize by axel-h
January 25, 2024 14:46 22s Hensoldt-Cyber:patch-axel-8
Hensoldt-Cyber:patch-axel-8
January 25, 2024 14:46 22s
bashisms: bump devscripts version PR #781: Pull request #315 opened by lsf37
January 25, 2024 02:11 18s devscripts-bump
devscripts-bump
January 25, 2024 02:11 18s
camkes-vm: add vm_minimal_zcu102 run PR #780: Pull request #314 opened by lsf37
January 24, 2024 22:59 19s camkes-vm-zcu102
camkes-vm-zcu102
January 24, 2024 22:59 19s
Zcu102 ci PR #779: Pull request #313 synchronize by chrisguikema
January 24, 2024 19:51 19s chrisguikema:zcu102_ci
chrisguikema:zcu102_ci
January 24, 2024 19:51 19s
camkes-vm: add vm_introspect PR #778: Pull request #268 synchronize by axel-h
January 24, 2024 18:33 18s Hensoldt-Cyber:patch-axel-8
Hensoldt-Cyber:patch-axel-8
January 24, 2024 18:33 18s