Skip to content

Actions: seL4/ci-actions

Actions

Deploy seL4 Bench

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
deploy-sel4bench.yml
45 workflow runs
45 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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 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 seL4 Bench #142: Repository dispatch triggered by seL4-ci
October 10, 2024 23:05 1m 43s
October 10, 2024 23:05 1m 43s
deps-update Deploy seL4 Bench #141: Repository dispatch triggered by seL4-ci
September 5, 2024 17:26 1m 40s
September 5, 2024 17:26 1m 40s
deps-update Deploy seL4 Bench #140: Repository dispatch triggered by seL4-ci
August 29, 2024 17:26 1m 35s
August 29, 2024 17:26 1m 35s
deps-update Deploy seL4 Bench #139: Repository dispatch triggered by seL4-ci
August 22, 2024 17:25 1m 39s
August 22, 2024 17:25 1m 39s
deps-update Deploy seL4 Bench #138: Repository dispatch triggered by seL4-ci
August 15, 2024 17:25 1m 33s
August 15, 2024 17:25 1m 33s
sel4test-hw: disable zynqmp 32 mcs Deploy seL4 Bench #137: Commit ab244b7 pushed by lsf37
August 14, 2024 09:46 1m 13s master
master
August 14, 2024 09:46 1m 13s
platforms: enable zynqmp 32-bit tests Deploy seL4 Bench #136: Commit c1ad317 pushed by lsf37
August 13, 2024 08:18 1m 10s master
master
August 13, 2024 08:18 1m 10s
deps-update Deploy seL4 Bench #135: Repository dispatch triggered by seL4-ci
August 8, 2024 17:27 2m 5s
August 8, 2024 17:27 2m 5s
zynqmp: enable hyp tests Deploy seL4 Bench #134: Commit dc8f197 pushed by lsf37
August 8, 2024 09:28 1m 14s master
master
August 8, 2024 09:28 1m 14s
deps-update Deploy seL4 Bench #133: Repository dispatch triggered by seL4-ci
August 2, 2024 00:43 1m 32s
August 2, 2024 00:43 1m 32s
deps-update Deploy seL4 Bench #132: Repository dispatch triggered by seL4-ci
July 25, 2024 17:28 2m 15s
July 25, 2024 17:28 2m 15s
deps-update Deploy seL4 Bench #131: Repository dispatch triggered by seL4-ci
July 24, 2024 02:55 1m 46s
July 24, 2024 02:55 1m 46s
deps-update Deploy seL4 Bench #130: Repository dispatch triggered by seL4-ci
July 19, 2024 05:17 1m 26s
July 19, 2024 05:17 1m 26s
deps-update Deploy seL4 Bench #129: Repository dispatch triggered by seL4-ci
July 11, 2024 17:58 1m 43s
July 11, 2024 17:58 1m 43s
deps-update Deploy seL4 Bench #128: Repository dispatch triggered by seL4-ci
July 11, 2024 07:17 1m 33s
July 11, 2024 07:17 1m 33s
thylint: accept PR number inputs Deploy seL4 Bench #127: Commit c705c08 pushed by lsf37
July 9, 2024 07:27 1m 32s master
master
July 9, 2024 07:27 1m 32s
python: remove broken unused function Deploy seL4 Bench #126: Commit d856814 pushed by Ivan-Velickovic
April 12, 2024 00:10 1m 25s master
master
April 12, 2024 00:10 1m 25s
doc: remove/fix bogus quotes Deploy seL4 Bench #125: Commit bb8210c pushed by lsf37
April 9, 2024 23:38 1m 29s master
master
April 9, 2024 23:38 1m 29s
Update build.py Deploy seL4 Bench #124: Commit cdfeb1f pushed by lsf37
March 21, 2024 15:50 1m 18s master
master
March 21, 2024 15:50 1m 18s
sel4bench-web: adjust for website update Deploy seL4 Bench #123: Commit 7d35856 pushed by Indanz
March 20, 2024 20:54 1m 22s master
master
March 20, 2024 20:54 1m 22s
simulation: fix expect script; add failure string Deploy seL4 Bench #122: Commit d9f7a54 pushed by lsf37
March 16, 2024 09:48 1m 23s master
master
March 16, 2024 09:48 1m 23s
simulation: signal failure on timeout (#340) Deploy seL4 Bench #121: Commit 49c59bf pushed by wom-bat
March 1, 2024 23:46 1m 16s master
master
March 1, 2024 23:46 1m 16s
builds.py: let mq lock be reclaimed after 30min (#337) Deploy seL4 Bench #120: Commit d136cb0 pushed by wom-bat
March 1, 2024 01:03 1m 40s master
master
March 1, 2024 01:03 1m 40s