Skip to content

Actions: seL4/ci-actions

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
257 workflow run results
257 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

support LLVM for RISCV64 CI #1065: Commit 702d24c pushed by lsf37
January 8, 2024 22:13 28s master
master
January 8, 2024 22:13 28s
support LLVM for RISCV64 kernel stand alone build CI #1064: Pull request #297 opened by axel-h
January 5, 2024 09:58 22s axel-h:patch-axel-1
axel-h:patch-axel-1
January 5, 2024 09:58 22s
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 CI #1063: Pull request #295 synchronize by axel-h
January 5, 2024 09:54 29s axel-h:patch-axel-6
axel-h:patch-axel-6
January 5, 2024 09:54 29s
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
platforms: add RPi4 32-bit build PR #727: Pull request #288 synchronize by axel-h
January 5, 2024 09:45 18s axel-h:patch-axel-4
axel-h:patch-axel-4
January 5, 2024 09:45 18s
platforms: add RPi4 32-bit build CI #1062: Pull request #288 synchronize by axel-h
January 5, 2024 09:45 27s axel-h:patch-axel-4
axel-h:patch-axel-4
January 5, 2024 09:45 27s
camkes-vm: add vm_introspect CI #1061: Pull request #268 synchronize by axel-h
January 5, 2024 09:43 41s Hensoldt-Cyber:patch-axel-8
Hensoldt-Cyber:patch-axel-8
January 5, 2024 09:43 41s
camkes-vm: add vm_introspect PR #726: Pull request #268 synchronize by axel-h
January 5, 2024 09:43 17s Hensoldt-Cyber:patch-axel-8
Hensoldt-Cyber:patch-axel-8
January 5, 2024 09:43 17s
fix typos Deploy seL4 Sim #130: Commit 84b150a pushed by lsf37
January 4, 2024 22:42 1m 22s master
master
January 4, 2024 22:42 1m 22s
fix typos CI #1060: Commit 84b150a pushed by lsf37
January 4, 2024 22:42 29s master
master
January 4, 2024 22:42 29s
fix typos CI #1059: Pull request #296 opened by axel-h
January 4, 2024 20:53 25s axel-h:patch-axel-7
axel-h:patch-axel-7
January 4, 2024 20:53 25s
fix typos PR #725: Pull request #296 opened by axel-h
January 4, 2024 20:53 17s axel-h:patch-axel-7
axel-h:patch-axel-7
January 4, 2024 20:53 17s
use ARM_MCS_verified.cmake for MCS build CI #1058: Pull request #295 synchronize by axel-h
January 4, 2024 19:51 26s axel-h:patch-axel-6
axel-h:patch-axel-6
January 4, 2024 19:51 26s
use ARM_MCS_verified.cmake for MCS build PR #724: Pull request #295 synchronize by axel-h
January 4, 2024 19:51 24s axel-h:patch-axel-6
axel-h:patch-axel-6
January 4, 2024 19:51 24s
use ARM_MCS_verified.cmake for MCS build CI #1057: Pull request #295 synchronize by axel-h
January 4, 2024 19:20 30s axel-h:patch-axel-6
axel-h:patch-axel-6
January 4, 2024 19:20 30s
use ARM_MCS_verified.cmake for MCS build PR #723: Pull request #295 synchronize by axel-h
January 4, 2024 19:20 21s axel-h:patch-axel-6
axel-h:patch-axel-6
January 4, 2024 19:20 21s
use ARM_MCS_verified.cmake for MCS build PR #722: Pull request #295 synchronize by axel-h
January 4, 2024 19:11 19s axel-h:patch-axel-6
axel-h:patch-axel-6
January 4, 2024 19:11 19s
use ARM_MCS_verified.cmake for MCS build CI #1056: Pull request #295 synchronize by axel-h
January 4, 2024 19:11 26s axel-h:patch-axel-6
axel-h:patch-axel-6
January 4, 2024 19:11 26s
use ARM_MCS_verified.cmake for MCS build PR #721: Pull request #295 synchronize by axel-h
January 4, 2024 17:59 20s axel-h:patch-axel-6
axel-h:patch-axel-6
January 4, 2024 17:59 20s
use ARM_MCS_verified.cmake for MCS build CI #1055: Pull request #295 synchronize by axel-h
January 4, 2024 17:59 26s axel-h:patch-axel-6
axel-h:patch-axel-6
January 4, 2024 17:59 26s
use ARM_MCS_verified.cmake for MCS build PR #720: Pull request #295 synchronize by axel-h
January 4, 2024 17:30 17s axel-h:patch-axel-6
axel-h:patch-axel-6
January 4, 2024 17:30 17s
use ARM_MCS_verified.cmake for MCS build CI #1054: Pull request #295 synchronize by axel-h
January 4, 2024 17:30 26s axel-h:patch-axel-6
axel-h:patch-axel-6
January 4, 2024 17:30 26s
use ARM_MCS_verified.cmake for MCS build PR #719: Pull request #295 synchronize by axel-h
January 4, 2024 16:56 19s axel-h:patch-axel-6
axel-h:patch-axel-6
January 4, 2024 16:56 19s
use ARM_MCS_verified.cmake for MCS build CI #1053: Pull request #295 synchronize by axel-h
January 4, 2024 16:56 32s axel-h:patch-axel-6
axel-h:patch-axel-6
January 4, 2024 16:56 32s