Skip to content

Actions: seL4/ci-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

platforms: add tqma8xqp1gb to hw test
Deploy seL4 Bench #104: Commit 38ce9b3 pushed by lsf37
December 9, 2023 08:40 1m 39s master
December 9, 2023 08:40 1m 39s
platforms: add tqma8xqp1gb to hw test
Deploy CAmkES Test #124: Commit 38ce9b3 pushed by lsf37
December 9, 2023 08:40 2m 18s master
December 9, 2023 08:40 2m 18s
platforms: add tqma8xqp1gb to hw test
Deploy CAmkES VM #87: Commit 38ce9b3 pushed by lsf37
December 9, 2023 08:40 2m 6s master
December 9, 2023 08:40 2m 6s
platforms: add tqma8xqp1gb to hw test
Deploy webserver image #40: Commit 38ce9b3 pushed by lsf37
December 9, 2023 08:40 2m 7s master
December 9, 2023 08:40 2m 7s
platforms: add tqma8xqp1gb to hw test
Deploy CParser Builder #148: Commit 38ce9b3 pushed by lsf37
December 9, 2023 08:40 4m 3s master
December 9, 2023 08:40 4m 3s
platforms: add tqma8xqp1gb to hw test
PR #710: Pull request #291 synchronize by lsf37
December 9, 2023 08:40 18s tqma8xqp
December 9, 2023 08:40 18s
platforms: add tqma8xqp1gb to hw test
CI #1041: Pull request #291 synchronize by lsf37
December 9, 2023 08:40 26s tqma8xqp
December 9, 2023 08:40 26s
sel4test-hw: prepare kernel.elf build artifact
Deploy seL4 HW #132: Commit 8a58fbe pushed by lsf37
December 9, 2023 08:39 1m 37s master
December 9, 2023 08:39 1m 37s
sel4test-hw: prepare kernel.elf build artifact
CI #1040: Commit 8a58fbe pushed by lsf37
December 9, 2023 08:39 26s master
December 9, 2023 08:39 26s
sel4test-hw: prepare kernel.elf build artifact
PR #709: Pull request #292 opened by lsf37
December 8, 2023 13:20 47s kernel-elf
December 8, 2023 13:20 47s
sel4test-hw: prepare kernel.elf build artifact
CI #1039: Pull request #292 opened by lsf37
December 8, 2023 13:20 32s 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
December 8, 2023 12:54 28s
platforms: add tqma8xqp1gb to hw test
PR #708: Pull request #291 opened by lsf37
December 8, 2023 12:54 43s tqma8xqp
December 8, 2023 12:54 43s
README: fix CI status badge
PR #707: Pull request #290 synchronize by lsf37
December 7, 2023 17:29 19s lsf37-patch-1
December 7, 2023 17:29 19s
README: fix CI status badge
CI #1037: Pull request #290 synchronize by lsf37
December 7, 2023 17:29 29s 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
December 7, 2023 13:52 2m 0s
README: fix CI status badge
PR #706: Pull request #290 opened by lsf37
December 7, 2023 13:52 18s lsf37-patch-1
December 7, 2023 13:52 18s
camkes-vm: add 64-bit minimal test on x86
Deploy CAmkES VM #86: Commit 0723e6e pushed by lsf37
November 14, 2023 21:40 2m 32s master
November 14, 2023 21:40 2m 32s
camkes-vm: add 64-bit minimal test on x86
CI #1035: Commit 0723e6e pushed by lsf37
November 14, 2023 21:40 28s master
November 14, 2023 21:40 28s
platforms: add RPi4 32-bit build
PR #704: Pull request #288 opened by axel-h
November 14, 2023 02:49 28s axel-h:patch-axel-4
November 14, 2023 02:49 28s
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
November 14, 2023 02:49 28s
Deploy Tutorial Test
Deploy Tutorial Test #120: Manually run by lsf37
November 9, 2023 02:24 2m 29s master
November 9, 2023 02:24 2m 29s
Deploy seL4 Bench
Deploy seL4 Bench #103: Manually run by lsf37
November 9, 2023 02:24 1m 17s master
November 9, 2023 02:24 1m 17s