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

Zcu102 ci
CI #1128: Pull request #313 synchronize by chrisguikema
January 24, 2024 19:51 27s chrisguikema:zcu102_ci
January 24, 2024 19:51 27s
camkes-vm: add vm_introspect
CI #1127: Pull request #268 synchronize by axel-h
January 24, 2024 18:33 28s Hensoldt-Cyber:patch-axel-8
January 24, 2024 18:33 28s
Zcu102 ci
CI #1126: Pull request #313 synchronize by axel-h
January 24, 2024 18:22 27s chrisguikema:zcu102_ci
January 24, 2024 18:22 27s
Zcu102 ci
CI #1125: Pull request #313 synchronize by axel-h
January 24, 2024 16:50 29s chrisguikema:zcu102_ci
January 24, 2024 16:50 29s
Zcu102 ci
CI #1124: Pull request #313 synchronize by axel-h
January 24, 2024 16:45 24s chrisguikema:zcu102_ci
January 24, 2024 16:45 24s
Zcu102 ci
CI #1123: Pull request #313 synchronize by axel-h
January 24, 2024 16:39 29s chrisguikema:zcu102_ci
January 24, 2024 16:39 29s
Zcu102 ci
CI #1122: Pull request #313 synchronize by axel-h
January 24, 2024 16:39 34s chrisguikema:zcu102_ci
January 24, 2024 16:39 34s
Zcu102 ci
CI #1121: Pull request #313 synchronize by axel-h
January 24, 2024 16:33 27s chrisguikema:zcu102_ci
January 24, 2024 16:33 27s
Zcu102 ci
CI #1120: Pull request #313 opened by chrisguikema
January 24, 2024 15:12 28s chrisguikema:zcu102_ci
January 24, 2024 15:12 28s
make flags more intuitive
CI #1119: Pull request #303 synchronize by axel-h
January 19, 2024 17:05 29s axel-h:patch-axel-3
January 19, 2024 17:05 29s
platforms: add RPi4 32-bit build
CI #1118: Pull request #288 synchronize by axel-h
January 19, 2024 16:54 25s axel-h:patch-axel-4
January 19, 2024 16:54 25s
platforms: disable MaaXBoard temporarily (#311)
CI #1117: Commit 08c98dc pushed by lsf37
January 19, 2024 03:22 33s master
January 19, 2024 03:22 33s
platforms: disable MaaXBoard temporarily
CI #1116: Pull request #311 opened by Ivan-Velickovic
January 19, 2024 01:29 26s disable_maaxboard
January 19, 2024 01:29 26s
platforms: allow setting extra flags to be passed to build
CI #1115: Pull request #310 synchronize by Ivan-Velickovic
January 18, 2024 23:45 25s sel4test_flags
January 18, 2024 23:45 25s
platforms: disable MCS for Maaxboard for now (#309)
CI #1113: Commit b200781 pushed by Ivan-Velickovic
January 16, 2024 08:05 52s master
January 16, 2024 08:05 52s
platforms: disable MCS for Maaxboard for now
CI #1112: Pull request #309 opened by lsf37
January 16, 2024 07:27 26s maaxboard-failures
January 16, 2024 07:27 26s
platforms: haswell4 is available again (#308)
CI #1111: Commit 68d29a8 pushed by lsf37
January 16, 2024 01:38 43s master
January 16, 2024 01:38 43s
platforms: haswell4 is available again
CI #1110: Pull request #308 synchronize by lsf37
January 16, 2024 01:36 30s enable-haswell4
January 16, 2024 01:36 30s
sel4test-hw: skip riscv+clang+smp+release (#307)
CI #1109: Commit 5c7739c pushed by Ivan-Velickovic
January 16, 2024 01:34 24s master
January 16, 2024 01:34 24s
sel4test-hw: skip riscv+clang+smp+release
CI #1108: Pull request #307 synchronize by lsf37
January 16, 2024 01:23 28s hifive-smp-clang
January 16, 2024 01:23 28s
platforms: haswell4 is available again
CI #1107: Pull request #308 opened by lsf37
January 16, 2024 01:16 54s enable-haswell4
January 16, 2024 01:16 54s
sel4test-hw: skip riscv+clang+smp+release
CI #1106: Pull request #307 opened by lsf37
January 16, 2024 00:54 33s hifive-smp-clang
January 16, 2024 00:54 33s
platforms: add MaaXBoard (#305)
CI #1105: Commit 693a58e pushed by Ivan-Velickovic
January 16, 2024 00:37 27s master
January 16, 2024 00:37 27s
platforms: add MaaXBoard
CI #1104: Pull request #305 synchronize by Ivan-Velickovic
January 16, 2024 00:32 50s maaxboard1
January 16, 2024 00:32 50s