Skip to content

Actions: seL4/ci-actions

Actions

Deploy seL4 Sim

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
deploy-sel4test-sim.yml
45 workflow runs
45 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

python: fix version of setuptools Deploy seL4 Sim #175: Commit 6545ead pushed by lsf37
February 27, 2025 01:43 14m 26s master
master
February 27, 2025 01:43 14m 26s
platforms: add imx93 Deploy seL4 Sim #174: Commit 739d8fb pushed by lsf37
February 18, 2025 23:06 1m 31s master
master
February 18, 2025 23:06 1m 31s
bashisms check: update to v2.52.2 Deploy seL4 Sim #173: Commit 93292ca pushed by lsf37
February 18, 2025 23:03 1m 21s master
master
February 18, 2025 23:03 1m 21s
deps-update Deploy seL4 Sim #172: Repository dispatch triggered by seL4-ci
October 31, 2024 17:30 1m 48s
October 31, 2024 17:30 1m 48s
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 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 seL4 Sim #169: Repository dispatch triggered by seL4-ci
October 14, 2024 00:14 1m 29s
October 14, 2024 00:14 1m 29s
sel4test: re-enable riscv+clang Deploy seL4 Sim #168: Commit 965658b pushed by lsf37
October 13, 2024 23:51 1m 27s master
master
October 13, 2024 23:51 1m 27s
sel4test: temporarily remove riscv/clang Deploy seL4 Sim #167: Commit 4409183 pushed by lsf37
October 12, 2024 02:12 1m 13s master
master
October 12, 2024 02:12 1m 13s
deps-update Deploy seL4 Sim #166: Repository dispatch triggered by seL4-ci
October 10, 2024 23:05 1m 33s
October 10, 2024 23:05 1m 33s
deps-update Deploy seL4 Sim #165: Repository dispatch triggered by seL4-ci
September 5, 2024 17:26 1m 32s
September 5, 2024 17:26 1m 32s
deps-update Deploy seL4 Sim #164: Repository dispatch triggered by seL4-ci
August 29, 2024 17:26 1m 43s
August 29, 2024 17:26 1m 43s
deps-update Deploy seL4 Sim #163: Repository dispatch triggered by seL4-ci
August 22, 2024 17:25 1m 36s
August 22, 2024 17:25 1m 36s
deps-update Deploy seL4 Sim #162: Repository dispatch triggered by seL4-ci
August 15, 2024 17:25 1m 43s
August 15, 2024 17:25 1m 43s
sel4test-hw: disable zynqmp 32 mcs Deploy seL4 Sim #161: Commit ab244b7 pushed by lsf37
August 14, 2024 09:46 1m 11s master
master
August 14, 2024 09:46 1m 11s
platforms: enable zynqmp 32-bit tests Deploy seL4 Sim #160: Commit c1ad317 pushed by lsf37
August 13, 2024 08:18 1m 35s master
master
August 13, 2024 08:18 1m 35s
deps-update Deploy seL4 Sim #159: Repository dispatch triggered by seL4-ci
August 8, 2024 17:27 1m 56s
August 8, 2024 17:27 1m 56s
zynqmp: enable hyp tests Deploy seL4 Sim #158: Commit dc8f197 pushed by lsf37
August 8, 2024 09:28 1m 12s master
master
August 8, 2024 09:28 1m 12s
deps-update Deploy seL4 Sim #157: Repository dispatch triggered by seL4-ci
August 2, 2024 00:43 1m 55s
August 2, 2024 00:43 1m 55s
deps-update Deploy seL4 Sim #156: Repository dispatch triggered by seL4-ci
July 25, 2024 17:28 1m 44s
July 25, 2024 17:28 1m 44s
deps-update Deploy seL4 Sim #155: Repository dispatch triggered by seL4-ci
July 24, 2024 02:55 1m 37s
July 24, 2024 02:55 1m 37s
deps-update Deploy seL4 Sim #154: Repository dispatch triggered by seL4-ci
July 19, 2024 05:17 1m 28s
July 19, 2024 05:17 1m 28s
deps-update Deploy seL4 Sim #153: Repository dispatch triggered by seL4-ci
July 11, 2024 17:58 1m 35s
July 11, 2024 17:58 1m 35s
deps-update Deploy seL4 Sim #152: Repository dispatch triggered by seL4-ci
July 11, 2024 07:17 1m 29s
July 11, 2024 07:17 1m 29s
thylint: accept PR number inputs Deploy seL4 Sim #151: Commit c705c08 pushed by lsf37
July 9, 2024 07:27 1m 37s master
master
July 9, 2024 07:27 1m 37s