Skip to content

Actions: seL4/ci-actions

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Isabelle Mirror Isabelle Mirror #1112: Scheduled
October 19, 2024 02:28 44m 5s master
master
October 19, 2024 02:28 44m 5s
Isabelle Mirror Isabelle Mirror #1111: Scheduled
October 18, 2024 02:31 45m 31s master
master
October 18, 2024 02:31 45m 31s
cparser-build Deploy CParser Run #208: Repository dispatch triggered by seL4-ci
October 17, 2024 17:29 1m 24s
October 17, 2024 17:29 1m 24s
cparser-build Deploy Preprocess Test #224: Repository dispatch triggered by seL4-ci
October 17, 2024 17:29 59s
October 17, 2024 17:29 59s
deps-update Deploy seL4 Sim #170: Repository dispatch triggered by seL4-ci
October 17, 2024 17:25 1m 45s
October 17, 2024 17:25 1m 45s
deps-update Deploy Proof Run #81: Repository dispatch triggered by seL4-ci
October 17, 2024 17:25 2m 5s
October 17, 2024 17:25 2m 5s
deps-update Deploy Preprocess Test #223: Repository dispatch triggered by seL4-ci
October 17, 2024 17:25 1m 30s
October 17, 2024 17:25 1m 30s
deps-update Deploy webserver image #77: Repository dispatch triggered by seL4-ci
October 17, 2024 17:25 2m 3s
October 17, 2024 17:25 2m 3s
deps-update Deploy RumpRun #158: Repository dispatch triggered by seL4-ci
October 17, 2024 17:25 2m 0s
October 17, 2024 17:25 2m 0s
deps-update Deploy CParser Builder #194: Repository dispatch triggered by seL4-ci
October 17, 2024 17:25 4m 6s
October 17, 2024 17:25 4m 6s
deps-update Deploy seL4 HW #181: Repository dispatch triggered by seL4-ci
October 17, 2024 17:25 1m 36s
October 17, 2024 17:25 1m 36s
deps-update Deploy CAmkES Unit #48: Repository dispatch triggered by seL4-ci
October 17, 2024 17:25 1m 40s
October 17, 2024 17:25 1m 40s
deps-update Deploy CAmkES Test #161: Repository dispatch triggered by seL4-ci
October 17, 2024 17:25 2m 14s
October 17, 2024 17:25 2m 14s
deps-update Deploy CParser Run #207: Repository dispatch triggered by seL4-ci
October 17, 2024 17:25 1m 39s
October 17, 2024 17:25 1m 39s
deps-update Deploy Tutorial Test #158: Repository dispatch triggered by seL4-ci
October 17, 2024 17:25 2m 5s
October 17, 2024 17:25 2m 5s
deps-update Deploy seL4 Bench #144: Repository dispatch triggered by seL4-ci
October 17, 2024 17:25 1m 45s
October 17, 2024 17:25 1m 45s
deps-update Deploy CAmkES VM #135: Repository dispatch triggered by seL4-ci
October 17, 2024 17:25 2m 2s
October 17, 2024 17:25 2m 2s
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