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

use ARM_MCS_verified.cmake for MCS build PR #718: Pull request #295 synchronize by axel-h
January 4, 2024 12:21 23s axel-h:patch-axel-6
axel-h:patch-axel-6
January 4, 2024 12:21 23s
use ARM_MCS_verified.cmake for MCS build CI #1052: Pull request #295 synchronize by axel-h
January 4, 2024 12:21 30s axel-h:patch-axel-6
axel-h:patch-axel-6
January 4, 2024 12:21 30s
use ARM_MCS_verified.cmake for MCS build CI #1051: Pull request #295 opened by axel-h
January 4, 2024 12:11 28s axel-h:patch-axel-6
axel-h:patch-axel-6
January 4, 2024 12:11 28s
use ARM_MCS_verified.cmake for MCS build PR #717: Pull request #295 opened by axel-h
January 4, 2024 12:11 33s axel-h:patch-axel-6
axel-h:patch-axel-6
January 4, 2024 12:11 33s
platforms: add RPi4 32-bit build CI #1050: Pull request #288 synchronize by axel-h
January 4, 2024 09:43 30s axel-h:patch-axel-4
axel-h:patch-axel-4
January 4, 2024 09:43 30s
platforms: add RPi4 32-bit build PR #716: Pull request #288 synchronize by axel-h
January 4, 2024 09:43 19s axel-h:patch-axel-4
axel-h:patch-axel-4
January 4, 2024 09:43 19s
camkes-vm: add vm_introspect PR #715: Pull request #268 synchronize by axel-h
January 4, 2024 09:42 17s Hensoldt-Cyber:patch-axel-8
Hensoldt-Cyber:patch-axel-8
January 4, 2024 09:42 17s
camkes-vm: add vm_introspect CI #1049: Pull request #268 synchronize by axel-h
January 4, 2024 09:42 26s Hensoldt-Cyber:patch-axel-8
Hensoldt-Cyber:patch-axel-8
January 4, 2024 09:42 26s
README: fix CI status badge CI #1048: Commit 5bcbca5 pushed by lsf37
January 3, 2024 07:55 24s master
master
January 3, 2024 07:55 24s
README: fix CI status badge CI #1047: Pull request #290 synchronize by lsf37
January 2, 2024 22:32 26s lsf37-patch-1
lsf37-patch-1
January 2, 2024 22:32 26s
README: fix CI status badge PR #714: Pull request #290 synchronize by lsf37
January 2, 2024 22:32 20s lsf37-patch-1
lsf37-patch-1
January 2, 2024 22:32 20s
platforms: add RPi4 32-bit build PR #713: Pull request #288 synchronize by axel-h
January 2, 2024 17:49 19s axel-h:patch-axel-4
axel-h:patch-axel-4
January 2, 2024 17:49 19s
platforms: add RPi4 32-bit build CI #1046: Pull request #288 synchronize by axel-h
January 2, 2024 17:49 30s axel-h:patch-axel-4
axel-h:patch-axel-4
January 2, 2024 17:49 30s
camkes-vm: add vm_introspect PR #712: Pull request #268 synchronize by axel-h
January 2, 2024 17:18 22s Hensoldt-Cyber:patch-axel-8
Hensoldt-Cyber:patch-axel-8
January 2, 2024 17:18 22s
camkes-vm: add vm_introspect CI #1045: Pull request #268 synchronize by axel-h
January 2, 2024 17:18 31s Hensoldt-Cyber:patch-axel-8
Hensoldt-Cyber:patch-axel-8
January 2, 2024 17:18 31s
aws-proofs: provide optional NUM_DOMAINS override CI #1044: Commit 12bb970 pushed by lsf37
December 11, 2023 07:06 30s master
master
December 11, 2023 07:06 30s
aws-proofs: provide optional NUM_DOMAINS override PR #711: Pull request #293 opened by lsf37
December 10, 2023 11:09 18s num-domains
num-domains
December 10, 2023 11:09 18s
aws-proofs: provide optional NUM_DOMAINS override CI #1043: Pull request #293 opened by lsf37
December 10, 2023 11:09 37s num-domains
num-domains
December 10, 2023 11:09 37s
cparser-build Deploy Preprocess Test #173: Repository dispatch triggered by seL4-ci
December 9, 2023 08:44 1m 30s
December 9, 2023 08:44 1m 30s
cparser-build Deploy CParser Run #157: Repository dispatch triggered by seL4-ci
December 9, 2023 08:44 1m 34s
December 9, 2023 08:44 1m 34s
platforms: add tqma8xqp1gb to hw test CI #1042: Commit 38ce9b3 pushed by lsf37
December 9, 2023 08:40 43s master
master
December 9, 2023 08:40 43s
platforms: add tqma8xqp1gb to hw test Deploy RumpRun #121: Commit 38ce9b3 pushed by lsf37
December 9, 2023 08:40 2m 2s master
master
December 9, 2023 08:40 2m 2s
platforms: add tqma8xqp1gb to hw test Deploy Tutorial Test #121: Commit 38ce9b3 pushed by lsf37
December 9, 2023 08:40 2m 4s master
master
December 9, 2023 08:40 2m 4s
platforms: add tqma8xqp1gb to hw test Deploy seL4 HW #133: Commit 38ce9b3 pushed by lsf37
December 9, 2023 08:40 1m 8s master
master
December 9, 2023 08:40 1m 8s
platforms: add tqma8xqp1gb to hw test Deploy seL4 Sim #129: Commit 38ce9b3 pushed by lsf37
December 9, 2023 08:40 1m 40s master
master
December 9, 2023 08:40 1m 40s