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

camkes-vm: add vm_introspect PR #752: Pull request #268 synchronize by axel-h
January 11, 2024 22:57 1m 5s Hensoldt-Cyber:patch-axel-8
Hensoldt-Cyber:patch-axel-8
January 11, 2024 22:57 1m 5s
fix typo in comment PR #751: Pull request #302 synchronize by lsf37
January 11, 2024 22:39 5m 20s axel-h:patch-axel-5
axel-h:patch-axel-5
January 11, 2024 22:39 5m 20s
sel4test-hw: remove mcs+hyp+smp+clang for TX1 PR #750: Pull request #301 synchronize by lsf37
January 11, 2024 22:31 5m 18s tx1-clang
tx1-clang
January 11, 2024 22:31 5m 18s
add RISCV clang for JSON dump PR #749: Pull request #304 opened by axel-h
January 11, 2024 13:56 18s axel-h:patch-axel-
axel-h:patch-axel-
January 11, 2024 13:56 18s
make flags more intuitive PR #748: Pull request #303 synchronize by axel-h
January 11, 2024 13:51 25s axel-h:patch-axel-3
axel-h:patch-axel-3
January 11, 2024 13:51 25s
make flags more intuitive PR #747: Pull request #303 opened by axel-h
January 11, 2024 13:50 18s axel-h:patch-axel-3
axel-h:patch-axel-3
January 11, 2024 13:50 18s
fix typo in comment PR #746: Pull request #302 synchronize by axel-h
January 11, 2024 13:48 22s axel-h:patch-axel-5
axel-h:patch-axel-5
January 11, 2024 13:48 22s
fix typo in comment PR #745: Pull request #302 synchronize by axel-h
January 11, 2024 12:37 26s axel-h:patch-axel-5
axel-h:patch-axel-5
January 11, 2024 12:37 26s
fix typo in comment PR #744: Pull request #302 synchronize by axel-h
January 11, 2024 12:07 22s axel-h:patch-axel-5
axel-h:patch-axel-5
January 11, 2024 12:07 22s
fix typo in comment PR #743: Pull request #302 opened by axel-h
January 11, 2024 11:35 21s axel-h:patch-axel-5
axel-h:patch-axel-5
January 11, 2024 11:35 21s
sel4test-hw: remove mcs+hyp+smp+clang for TX1 PR #742: Pull request #301 opened by lsf37
January 11, 2024 07:30 21s tx1-clang
tx1-clang
January 11, 2024 07:30 21s
platforms: add RPi4 32-bit build PR #741: Pull request #288 synchronize by axel-h
January 10, 2024 08:15 29s axel-h:patch-axel-4
axel-h:patch-axel-4
January 10, 2024 08:15 29s
camkes-vm: add vm_introspect PR #740: Pull request #268 synchronize by axel-h
January 10, 2024 08:14 25s Hensoldt-Cyber:patch-axel-8
Hensoldt-Cyber:patch-axel-8
January 10, 2024 08:14 25s
use ARM_MCS_verified.cmake for MCS build PR #739: Pull request #295 synchronize by lsf37
January 9, 2024 22:54 18s axel-h:patch-axel-6
axel-h:patch-axel-6
January 9, 2024 22:54 18s
platforms: temporarily remove haswell4 machine PR #738: Pull request #300 opened by lsf37
January 9, 2024 22:19 23s haswell4
haswell4
January 9, 2024 22:19 23s
use ARM_MCS_verified.cmake for MCS build PR #737: Pull request #295 synchronize by lsf37
January 9, 2024 22:14 24s axel-h:patch-axel-6
axel-h:patch-axel-6
January 9, 2024 22:14 24s
clang is supported everywhere now PR #736: Pull request #299 synchronize by lsf37
January 9, 2024 21:54 17s axel-h:patch-axel-5
axel-h:patch-axel-5
January 9, 2024 21:54 17s
clang is supported everywhere now PR #735: Pull request #299 opened by axel-h
January 9, 2024 15:46 23s axel-h:patch-axel-5
axel-h:patch-axel-5
January 9, 2024 15:46 23s
fix typo for RISC-V 32-bit PR #734: Pull request #298 opened by axel-h
January 9, 2024 13:58 19s axel-h:patch-axel-3
axel-h:patch-axel-3
January 9, 2024 13:58 19s
use ARM_MCS_verified.cmake for MCS build PR #733: Pull request #295 synchronize by axel-h
January 9, 2024 07:59 18s axel-h:patch-axel-6
axel-h:patch-axel-6
January 9, 2024 07:59 18s
use ARM_MCS_verified.cmake for MCS build PR #732: Pull request #295 synchronize by axel-h
January 9, 2024 07:12 20s axel-h:patch-axel-6
axel-h:patch-axel-6
January 9, 2024 07:12 20s
platforms: add RPi4 32-bit build PR #731: Pull request #288 synchronize by axel-h
January 9, 2024 06:38 23s axel-h:patch-axel-4
axel-h:patch-axel-4
January 9, 2024 06:38 23s
camkes-vm: add vm_introspect PR #730: Pull request #268 synchronize by axel-h
January 9, 2024 06:38 19s Hensoldt-Cyber:patch-axel-8
Hensoldt-Cyber:patch-axel-8
January 9, 2024 06:38 19s
support LLVM for RISCV64 kernel stand alone build PR #729: Pull request #297 opened by axel-h
January 5, 2024 09:58 17s axel-h:patch-axel-1
axel-h:patch-axel-1
January 5, 2024 09:58 17s
use ARM_MCS_verified.cmake for MCS build PR #728: Pull request #295 synchronize by axel-h
January 5, 2024 09:54 17s axel-h:patch-axel-6
axel-h:patch-axel-6
January 5, 2024 09:54 17s