Skip to content

Actions: seL4/ci-actions

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Isabelle Mirror
Isabelle Mirror #1518: Scheduled
52m 48s master
Isabelle Mirror
Isabelle Mirror #1517: Scheduled
2m 20s master
Isabelle Mirror
Isabelle Mirror #1516: Scheduled
52m 32s master
Isabelle Mirror
Isabelle Mirror #1515: Scheduled
51m 52s master
Isabelle Mirror
Isabelle Mirror #1514: Scheduled
1h 4m 10s master
Isabelle Mirror
Isabelle Mirror #1513: Scheduled
2m 16s master
Isabelle Mirror
Isabelle Mirror #1512: Scheduled
50m 3s master
Isabelle Mirror
Isabelle Mirror #1511: Scheduled
53m 54s master
Isabelle Mirror
Isabelle Mirror #1510: Scheduled
51m 8s master
Isabelle Mirror
Isabelle Mirror #1509: Scheduled
50m 11s master
Isabelle Mirror
Isabelle Mirror #1508: Scheduled
52m 50s master
Isabelle Mirror
Isabelle Mirror #1507: Scheduled
54m 37s master
Isabelle Mirror
Isabelle Mirror #1506: Scheduled
56m 32s master
cparser-build
Deploy CParser Run #259: Repository dispatch triggered by seL4-ci
1m 13s
cparser-build
Deploy Preprocess Test #275: Repository dispatch triggered by seL4-ci
59s
platforms: skylake2 is dead, use skylake3
Deploy seL4 Bench #184: Commit 1c8b98c pushed by lsf37
1m 13s master
platforms: skylake2 is dead, use skylake3
Deploy CParser Builder #240: Commit 1c8b98c pushed by lsf37
3m 17s master
platforms: skylake2 is dead, use skylake3
Deploy Tutorial Test #195: Commit 1c8b98c pushed by lsf37
1m 35s master