Skip to content

Actions: seL4/ci-actions

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

deps-update Deploy CParser Run #209: Repository dispatch triggered by seL4-ci
October 24, 2024 17:26 1m 50s
October 24, 2024 17:26 1m 50s
deps-update Deploy seL4 Sim #171: Repository dispatch triggered by seL4-ci
October 24, 2024 17:26 1m 47s
October 24, 2024 17:26 1m 47s
deps-update Deploy webserver image #78: Repository dispatch triggered by seL4-ci
October 24, 2024 17:26 2m 2s
October 24, 2024 17:26 2m 2s
deps-update Deploy CAmkES Test #162: Repository dispatch triggered by seL4-ci
October 24, 2024 17:26 2m 14s
October 24, 2024 17:26 2m 14s
deps-update Deploy CAmkES Unit #49: Repository dispatch triggered by seL4-ci
October 24, 2024 17:26 1m 34s
October 24, 2024 17:26 1m 34s
deps-update Deploy Preprocess Test #225: Repository dispatch triggered by seL4-ci
October 24, 2024 17:26 1m 25s
October 24, 2024 17:26 1m 25s
Isabelle Mirror Isabelle Mirror #1117: Scheduled
October 24, 2024 02:30 44m 27s master
master
October 24, 2024 02:30 44m 27s
Isabelle Mirror Isabelle Mirror #1116: Scheduled
October 23, 2024 02:30 6m 11s master
master
October 23, 2024 02:30 6m 11s
Isabelle Mirror Isabelle Mirror #1115: Scheduled
October 22, 2024 02:31 48m 41s master
master
October 22, 2024 02:31 48m 41s
Isabelle Mirror Isabelle Mirror #1114: Scheduled
October 21, 2024 02:33 43m 5s master
master
October 21, 2024 02:33 43m 5s
Isabelle Mirror Isabelle Mirror #1113: Scheduled
October 20, 2024 02:34 44m 52s master
master
October 20, 2024 02:34 44m 52s
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