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 #842: Scheduled
July 21, 2023 02:20 51m 36s master
master
July 21, 2023 02:20 51m 36s
Isabelle Mirror Isabelle Mirror #841: Scheduled
July 20, 2023 02:19 52m 40s master
master
July 20, 2023 02:19 52m 40s
Isabelle Mirror Isabelle Mirror #840: Scheduled
July 19, 2023 03:01 52m 36s master
master
July 19, 2023 03:01 52m 36s
cparser-build Deploy CParser Run #154: Repository dispatch triggered by seL4-ci
July 19, 2023 02:07 1m 26s
July 19, 2023 02:07 1m 26s
cparser-build Deploy Preprocess Test #170: Repository dispatch triggered by seL4-ci
July 19, 2023 02:07 1m 5s
July 19, 2023 02:07 1m 5s
Add new host keys Deploy webserver image #38: Commit 607634d pushed by lsf37
July 19, 2023 02:02 2m 8s master
master
July 19, 2023 02:02 2m 8s
Add new host keys Deploy CAmkES Test #121: Commit 607634d pushed by lsf37
July 19, 2023 02:02 2m 38s master
master
July 19, 2023 02:02 2m 38s
Add new host keys Deploy seL4 HW #129: Commit 607634d pushed by lsf37
July 19, 2023 02:02 1m 46s master
master
July 19, 2023 02:02 1m 46s
Add new host keys Deploy Tutorial Test #118: Commit 607634d pushed by lsf37
July 19, 2023 02:02 2m 1s master
master
July 19, 2023 02:02 2m 1s
Add new host keys Deploy CParser Builder #144: Commit 607634d pushed by lsf37
July 19, 2023 02:02 5m 12s master
master
July 19, 2023 02:02 5m 12s
Add new host keys Deploy Link Check #53: Commit 607634d pushed by lsf37
July 19, 2023 02:02 25s master
master
July 19, 2023 02:02 25s
Add new host keys Deploy CAmkES VM #83: Commit 607634d pushed by lsf37
July 19, 2023 02:02 2m 0s master
master
July 19, 2023 02:02 2m 0s
Add new host keys Deploy Proof Run #66: Commit 607634d pushed by lsf37
July 19, 2023 02:02 3m 52s master
master
July 19, 2023 02:02 3m 52s
Add new host keys Deploy CAmkES Unit #33: Commit 607634d pushed by lsf37
July 19, 2023 02:02 2m 6s master
master
July 19, 2023 02:02 2m 6s
Add new host keys CI #1020: Commit 607634d pushed by lsf37
July 19, 2023 02:02 40s master
master
July 19, 2023 02:02 40s
Add new host keys Deploy seL4 Bench #101: Commit 607634d pushed by lsf37
July 19, 2023 02:02 1m 24s master
master
July 19, 2023 02:02 1m 24s
Add new host keys Deploy RumpRun #119: Commit 607634d pushed by lsf37
July 19, 2023 02:02 2m 9s master
master
July 19, 2023 02:02 2m 9s
Add new host keys Deploy seL4 Sim #126: Commit 607634d pushed by lsf37
July 19, 2023 02:02 1m 30s master
master
July 19, 2023 02:02 1m 30s
Add new host keys PR #693: Pull request #280 opened by wom-bat
July 18, 2023 20:37 26s fix_host_keys
fix_host_keys
July 18, 2023 20:37 26s
Add new host keys CI #1019: Pull request #280 opened by wom-bat
July 18, 2023 20:37 31s fix_host_keys
fix_host_keys
July 18, 2023 20:37 31s
cparser-build Deploy CParser Run #153: Repository dispatch triggered by seL4-ci
July 18, 2023 10:27 1m 37s
July 18, 2023 10:27 1m 37s
cparser-build Deploy Preprocess Test #169: Repository dispatch triggered by seL4-ci
July 18, 2023 10:27 1m 37s
July 18, 2023 10:27 1m 37s
scripts: update ts server ID Deploy webserver image #37: Commit e1f9950 pushed by lsf37
July 18, 2023 10:22 2m 39s master
master
July 18, 2023 10:22 2m 39s
scripts: update ts server ID Deploy CParser Builder #143: Commit e1f9950 pushed by lsf37
July 18, 2023 10:22 5m 22s master
master
July 18, 2023 10:22 5m 22s
scripts: update ts server ID CI #1018: Commit e1f9950 pushed by lsf37
July 18, 2023 10:22 31s master
master
July 18, 2023 10:22 31s
ProTip! You can narrow down the results and go further in time using created:<2023-07-18 or the other filters available.