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

Zcu102 ci PR #777: Pull request #313 synchronize by axel-h
January 24, 2024 18:22 18s chrisguikema:zcu102_ci
chrisguikema:zcu102_ci
January 24, 2024 18:22 18s
Zcu102 ci PR #776: Pull request #313 synchronize by axel-h
January 24, 2024 16:50 22s chrisguikema:zcu102_ci
chrisguikema:zcu102_ci
January 24, 2024 16:50 22s
Zcu102 ci PR #775: Pull request #313 synchronize by axel-h
January 24, 2024 16:45 18s chrisguikema:zcu102_ci
chrisguikema:zcu102_ci
January 24, 2024 16:45 18s
Zcu102 ci PR #774: Pull request #313 synchronize by axel-h
January 24, 2024 16:39 18s chrisguikema:zcu102_ci
chrisguikema:zcu102_ci
January 24, 2024 16:39 18s
Zcu102 ci PR #773: Pull request #313 synchronize by axel-h
January 24, 2024 16:39 24s chrisguikema:zcu102_ci
chrisguikema:zcu102_ci
January 24, 2024 16:39 24s
Zcu102 ci PR #772: Pull request #313 synchronize by axel-h
January 24, 2024 16:33 24s chrisguikema:zcu102_ci
chrisguikema:zcu102_ci
January 24, 2024 16:33 24s
Zcu102 ci PR #771: Pull request #313 opened by chrisguikema
January 24, 2024 15:12 21s chrisguikema:zcu102_ci
chrisguikema:zcu102_ci
January 24, 2024 15:12 21s
make flags more intuitive PR #770: Pull request #303 synchronize by axel-h
January 19, 2024 17:05 21s axel-h:patch-axel-3
axel-h:patch-axel-3
January 19, 2024 17:05 21s
platforms: add RPi4 32-bit build PR #769: Pull request #288 synchronize by axel-h
January 19, 2024 16:54 19s axel-h:patch-axel-4
axel-h:patch-axel-4
January 19, 2024 16:54 19s
platforms: disable MaaXBoard temporarily PR #768: Pull request #311 opened by Ivan-Velickovic
January 19, 2024 01:29 18s disable_maaxboard
disable_maaxboard
January 19, 2024 01:29 18s
platforms: allow setting extra flags to be passed to build PR #767: Pull request #310 synchronize by Ivan-Velickovic
January 18, 2024 23:45 16s sel4test_flags
sel4test_flags
January 18, 2024 23:45 16s
platforms: allow setting extra flags to be passed to build PR #766: Pull request #310 opened by Ivan-Velickovic
January 18, 2024 23:43 21s sel4test_flags
sel4test_flags
January 18, 2024 23:43 21s
platforms: disable MCS for Maaxboard for now PR #765: Pull request #309 opened by lsf37
January 16, 2024 07:27 21s maaxboard-failures
maaxboard-failures
January 16, 2024 07:27 21s
platforms: haswell4 is available again PR #764: Pull request #308 synchronize by lsf37
January 16, 2024 01:36 17s enable-haswell4
enable-haswell4
January 16, 2024 01:36 17s
sel4test-hw: skip riscv+clang+smp+release PR #763: Pull request #307 synchronize by lsf37
January 16, 2024 01:23 23s hifive-smp-clang
hifive-smp-clang
January 16, 2024 01:23 23s
platforms: haswell4 is available again PR #762: Pull request #308 opened by lsf37
January 16, 2024 01:16 21s enable-haswell4
enable-haswell4
January 16, 2024 01:16 21s
sel4test-hw: skip riscv+clang+smp+release PR #761: Pull request #307 opened by lsf37
January 16, 2024 00:54 25s hifive-smp-clang
hifive-smp-clang
January 16, 2024 00:54 25s
platforms: add MaaXBoard PR #760: Pull request #305 synchronize by Ivan-Velickovic
January 16, 2024 00:32 26s maaxboard1
maaxboard1
January 16, 2024 00:32 26s
camkes-vm: add vm_introspect PR #759: Pull request #268 synchronize by axel-h
January 15, 2024 09:10 26s Hensoldt-Cyber:patch-axel-8
Hensoldt-Cyber:patch-axel-8
January 15, 2024 09:10 26s
make flags more intuitive PR #758: Pull request #303 synchronize by axel-h
January 12, 2024 13:18 22s axel-h:patch-axel-3
axel-h:patch-axel-3
January 12, 2024 13:18 22s
platforms: add RPi4 32-bit build PR #757: Pull request #288 synchronize by axel-h
January 12, 2024 13:09 19s axel-h:patch-axel-4
axel-h:patch-axel-4
January 12, 2024 13:09 19s
platforms: temporarily remove imx8mm from CI PR #756: Pull request #306 opened by lsf37
January 12, 2024 06:32 20s imx8mm-disable
imx8mm-disable
January 12, 2024 06:32 20s
platforms: add MaaXBoard PR #755: Pull request #305 opened by Ivan-Velickovic
January 12, 2024 01:20 35s maaxboard1
maaxboard1
January 12, 2024 01:20 35s
make flags more intuitive PR #754: Pull request #303 synchronize by axel-h
January 11, 2024 22:59 4m 19s axel-h:patch-axel-3
axel-h:patch-axel-3
January 11, 2024 22:59 4m 19s
platforms: add RPi4 32-bit build PR #753: Pull request #288 synchronize by axel-h
January 11, 2024 22:57 5m 26s axel-h:patch-axel-4
axel-h:patch-axel-4
January 11, 2024 22:57 5m 26s