Skip to content

Actions: seL4/ci-actions

Actions

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
push.yml
312 workflow runs
312 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
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
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
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
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 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 CI #1043: Pull request #293 opened by lsf37
December 10, 2023 11:09 37s num-domains
num-domains
December 10, 2023 11:09 37s
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 CI #1041: Pull request #291 synchronize by lsf37
December 9, 2023 08:40 26s tqma8xqp
tqma8xqp
December 9, 2023 08:40 26s
sel4test-hw: prepare kernel.elf build artifact CI #1040: Commit 8a58fbe pushed by lsf37
December 9, 2023 08:39 26s master
master
December 9, 2023 08:39 26s
sel4test-hw: prepare kernel.elf build artifact CI #1039: Pull request #292 opened by lsf37
December 8, 2023 13:20 32s kernel-elf
kernel-elf
December 8, 2023 13:20 32s
platforms: add tqma8xqp1gb to hw test CI #1038: Pull request #291 opened by lsf37
December 8, 2023 12:54 28s tqma8xqp
tqma8xqp
December 8, 2023 12:54 28s
README: fix CI status badge CI #1037: Pull request #290 synchronize by lsf37
December 7, 2023 17:29 29s lsf37-patch-1
lsf37-patch-1
December 7, 2023 17:29 29s
README: fix CI status badge CI #1036: Pull request #290 opened by lsf37
December 7, 2023 13:52 2m 0s lsf37-patch-1
lsf37-patch-1
December 7, 2023 13:52 2m 0s
camkes-vm: add 64-bit minimal test on x86 CI #1035: Commit 0723e6e pushed by lsf37
November 14, 2023 21:40 28s master
master
November 14, 2023 21:40 28s
camkes-vm: add 64-bit minimal test on x86 CI #1034: Pull request #289 opened by chrisguikema
November 14, 2023 19:42 25s chrisguikema:64_bit_x86_test
chrisguikema:64_bit_x86_test
November 14, 2023 19:42 25s
platforms: add RPi4 32-bit build CI #1033: Pull request #288 opened by axel-h
November 14, 2023 02:49 28s axel-h:patch-axel-4
axel-h:patch-axel-4
November 14, 2023 02:49 28s
platforms: add Pine64 Star64 CI #1032: Pull request #283 synchronize by lsf37
October 28, 2023 00:45 32s Ivan-Velickovic:star64
Ivan-Velickovic:star64
October 28, 2023 00:45 32s
camkes-vm: add vm_introspect CI #1031: Pull request #268 synchronize by axel-h
October 25, 2023 00:43 45s Hensoldt-Cyber:patch-axel-8
Hensoldt-Cyber:patch-axel-8
October 25, 2023 00:43 45s
bashims: bump devscripts version CI #1030: Commit 2bc0c7b pushed by lsf37
October 25, 2023 00:37 40s master
master
October 25, 2023 00:37 40s
bashims: bump devscripts version CI #1029: Pull request #287 synchronize by axel-h
October 24, 2023 23:57 31s axel-h:patch-axel-4
axel-h:patch-axel-4
October 24, 2023 23:57 31s
ProTip! You can narrow down the results and go further in time using created:<2023-10-24 or the other filters available.