Skip to content

Actions: Hensoldt-Cyber/seL4

Actions

seL4Test

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
sel4test-deploy.yml
25 workflow runs
25 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

mcs: more uniformly handle ready and release queue seL4Test #140: Commit 686bba4 pushed by axel-h
May 23, 2024 09:33 43m 57s master
master
May 23, 2024 09:33 43m 57s
RISC-V SMP: Fix Compile Error seL4Test #139: Commit 3ccbfc0 pushed by axel-h
March 13, 2024 19:17 3h 4m 46s master
master
March 13, 2024 19:17 3h 4m 46s
Fix Odroid-C4 MAX_IRQ setting seL4Test #138: Commit 903cf7c pushed by axel-h
February 25, 2024 15:02 43m 38s master
master
February 25, 2024 15:02 43m 38s
AArch64: mark isFpuEnable as DONT_TRANSLATE seL4Test #137: Commit c998966 pushed by axel-h
February 2, 2024 11:18 42m 58s master
master
February 2, 2024 11:18 42m 58s
CI: cancel older concurrent PR runs seL4Test #136: Commit 91ec17c pushed by axel-h
January 31, 2024 17:04 43m 6s master
master
January 31, 2024 17:04 43m 6s
CI: the seL4/machine_queue repo is public now seL4Test #135: Commit eda441e pushed by axel-h
January 30, 2024 13:30 43m 6s master
master
January 30, 2024 13:30 43m 6s
aarch64/vspace: type of counter in ASIDPoolAssign seL4Test #134: Commit 64b1282 pushed by axel-h
January 30, 2024 11:35 43m 25s master
master
January 30, 2024 11:35 43m 25s
github: bump GitHub actions to node20 seL4Test #133: Commit fa28409 pushed by axel-h
January 28, 2024 23:40 43m 35s master
master
January 28, 2024 23:40 43m 35s
aarch64/vspace: fix error reporting in decode seL4Test #132: Commit 241d8d1 pushed by axel-h
January 26, 2024 23:09 43m 45s master
master
January 26, 2024 23:09 43m 45s
cmake: propagate CROSS_COMPILER_PREFIX seL4Test #131: Commit 9ec543c pushed by axel-h
January 25, 2024 13:36 45m 37s master
master
January 25, 2024 13:36 45m 37s
make method names consistent (#1144) seL4Test #130: Commit cbf2579 pushed by axel-h
January 19, 2024 13:08 43m 54s master
master
January 19, 2024 13:08 43m 54s
aarch64/vspace: avoid unnecessary casts seL4Test #129: Commit 0398d34 pushed by axel-h
January 16, 2024 11:00 48m 18s master
master
January 16, 2024 11:00 48m 18s
CI: update deploy workflow also seL4Test #128: Commit 7355360 pushed by axel-h
January 15, 2024 11:57 51m 4s master
master
January 15, 2024 11:57 51m 4s
CI: do simulation and HW build with LLVM on RISCV seL4Test #127: Commit e6fbbbb pushed by axel-h
January 12, 2024 00:30 52m 10s master
master
January 12, 2024 00:30 52m 10s
aarch64/vspace: add performASIDControl annotations seL4Test #126: Commit 31da08f pushed by axel-h
January 10, 2024 08:23 52m 14s master
master
January 10, 2024 08:23 52m 14s
python: remove unused template parameter seL4Test #125: Commit ed613d7 pushed by axel-h
January 8, 2024 07:58 45m 40s master
master
January 8, 2024 07:58 45m 40s
riscv: place traps and fastpath code adjacently seL4Test #124: Commit c2497cb pushed by axel-h
November 2, 2023 13:32 1h 10m 47s master
master
November 2, 2023 13:32 1h 10m 47s
Add "ax" flags to .section directives in assembly seL4Test #123: Commit 5b4fb3e pushed by axel-h
October 30, 2023 21:50 1h 21m 2s master
master
October 30, 2023 21:50 1h 21m 2s
qemu: handle 32-bit address limit seL4Test #122: Commit 1c7a0cb pushed by axel-h
October 25, 2023 00:17 2h 24m 28s master
master
October 25, 2023 00:17 2h 24m 28s
boot: skip clock sync test on qemu-arm-virt seL4Test #121: Commit c49ed7c pushed by axel-h
October 24, 2023 15:48 2h 25m 37s master
master
October 24, 2023 15:48 2h 25m 37s
boot: sanity check for SMP lock variable state seL4Test #120: Commit 61a8cce pushed by axel-h
August 27, 2023 19:05 1h 33m 46s master
master
August 27, 2023 19:05 1h 33m 46s
manual: improve thread affinity description seL4Test #119: Commit a58b943 pushed by axel-h
August 24, 2023 14:31 1h 4m 57s master
master
August 24, 2023 14:31 1h 4m 57s
boot: Remove constant BI_FRAME_SIZE_BITS seL4Test #118: Commit 4d77c70 pushed by axel-h
August 23, 2023 14:24 1h 3m 35s master
master
August 23, 2023 14:24 1h 3m 35s
aarch64: avoid void-return statements seL4Test #117: Commit 8153bc5 pushed by axel-h
August 22, 2023 10:55 1h 6m 54s master
master
August 22, 2023 10:55 1h 6m 54s
print period and budget with units seL4Test #116: Commit 8dd8d52 pushed by axel-h
August 14, 2023 14:03 2h 25m 15s master
master
August 14, 2023 14:03 2h 25m 15s