Skip to content

Actions: seL4/ci-actions

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,383 workflow runs
1,383 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Isabelle Mirror Isabelle Mirror #1110: Scheduled
October 17, 2024 02:30 43m 47s master
master
October 17, 2024 02:30 43m 47s
Isabelle Mirror Isabelle Mirror #1109: Scheduled
October 16, 2024 02:32 44m 26s master
master
October 16, 2024 02:32 44m 26s
Isabelle Mirror Isabelle Mirror #1108: Scheduled
October 15, 2024 02:31 43m 37s master
master
October 15, 2024 02:31 43m 37s
Isabelle Mirror Isabelle Mirror #1107: Scheduled
October 14, 2024 02:32 51m 16s master
master
October 14, 2024 02:32 51m 16s
cparser-build Deploy CParser Run #206: Repository dispatch triggered by seL4-ci
October 14, 2024 00:17 1m 18s
October 14, 2024 00:17 1m 18s
cparser-build Deploy Preprocess Test #222: Repository dispatch triggered by seL4-ci
October 14, 2024 00:17 53s
October 14, 2024 00:17 53s
deps-update Deploy webserver image #76: Repository dispatch triggered by seL4-ci
October 14, 2024 00:14 2m 6s
October 14, 2024 00:14 2m 6s
deps-update Deploy CAmkES Test #160: Repository dispatch triggered by seL4-ci
October 14, 2024 00:14 2m 28s
October 14, 2024 00:14 2m 28s
deps-update Deploy RumpRun #157: Repository dispatch triggered by seL4-ci
October 14, 2024 00:14 1m 51s
October 14, 2024 00:14 1m 51s
deps-update Deploy seL4 Bench #143: Repository dispatch triggered by seL4-ci
October 14, 2024 00:14 1m 44s
October 14, 2024 00:14 1m 44s
deps-update Deploy CAmkES Unit #47: Repository dispatch triggered by seL4-ci
October 14, 2024 00:14 1m 37s
October 14, 2024 00:14 1m 37s
deps-update Deploy Tutorial Test #157: Repository dispatch triggered by seL4-ci
October 14, 2024 00:14 2m 12s
October 14, 2024 00:14 2m 12s
deps-update Deploy seL4 Sim #169: Repository dispatch triggered by seL4-ci
October 14, 2024 00:14 1m 29s
October 14, 2024 00:14 1m 29s
deps-update Deploy seL4 HW #180: Repository dispatch triggered by seL4-ci
October 14, 2024 00:14 1m 40s
October 14, 2024 00:14 1m 40s
deps-update Deploy CParser Builder #193: Repository dispatch triggered by seL4-ci
October 14, 2024 00:14 3m 16s
October 14, 2024 00:14 3m 16s
deps-update Deploy Preprocess Test #221: Repository dispatch triggered by seL4-ci
October 14, 2024 00:14 1m 29s
October 14, 2024 00:14 1m 29s
deps-update Deploy CParser Run #205: Repository dispatch triggered by seL4-ci
October 14, 2024 00:14 1m 29s
October 14, 2024 00:14 1m 29s
deps-update Deploy CAmkES VM #134: Repository dispatch triggered by seL4-ci
October 14, 2024 00:14 2m 4s
October 14, 2024 00:14 2m 4s
deps-update Deploy Proof Run #80: Repository dispatch triggered by seL4-ci
October 14, 2024 00:14 2m 8s
October 14, 2024 00:14 2m 8s
sel4test: re-enable riscv+clang Deploy seL4 HW #179: Commit 965658b pushed by lsf37
October 13, 2024 23:51 1m 22s master
master
October 13, 2024 23:51 1m 22s
sel4test: re-enable riscv+clang Deploy seL4 Sim #168: Commit 965658b pushed by lsf37
October 13, 2024 23:51 1m 27s master
master
October 13, 2024 23:51 1m 27s
sel4test: re-enable riscv+clang CI #1328: Commit 965658b pushed by lsf37
October 13, 2024 23:51 29s master
master
October 13, 2024 23:51 29s
sel4test: re-enable riscv+clang PR #927: Pull request #370 synchronize by lsf37
October 13, 2024 21:28 45s riscv-clang-11
riscv-clang-11
October 13, 2024 21:28 45s
sel4test: re-enable riscv+clang CI #1327: Pull request #370 synchronize by lsf37
October 13, 2024 21:28 25s riscv-clang-11
riscv-clang-11
October 13, 2024 21:28 25s
sel4test-hw: remove odroidc4_debug_smp_mcs_clang CI #1326: Commit 62931f1 pushed by lsf37
October 13, 2024 21:28 30s master
master
October 13, 2024 21:28 30s