Skip to content

Actions: seL4/ci-actions

Deploy CAmkES Unit

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
17 workflow runs
17 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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 Unit #47: Repository dispatch triggered by seL4-ci
October 14, 2024 00:14 1m 37s
October 14, 2024 00:14 1m 37s
deps-update
Deploy CAmkES Unit #46: Repository dispatch triggered by seL4-ci
October 10, 2024 23:05 1m 50s
October 10, 2024 23:05 1m 50s
deps-update
Deploy CAmkES Unit #45: Repository dispatch triggered by seL4-ci
September 5, 2024 17:26 1m 35s
September 5, 2024 17:26 1m 35s
deps-update
Deploy CAmkES Unit #44: Repository dispatch triggered by seL4-ci
August 29, 2024 17:26 1m 34s
August 29, 2024 17:26 1m 34s
deps-update
Deploy CAmkES Unit #43: Repository dispatch triggered by seL4-ci
August 22, 2024 17:25 1m 57s
August 22, 2024 17:25 1m 57s
deps-update
Deploy CAmkES Unit #42: Repository dispatch triggered by seL4-ci
August 15, 2024 17:25 1m 31s
August 15, 2024 17:25 1m 31s
deps-update
Deploy CAmkES Unit #41: Repository dispatch triggered by seL4-ci
August 8, 2024 17:27 2m 8s
August 8, 2024 17:27 2m 8s
deps-update
Deploy CAmkES Unit #40: Repository dispatch triggered by seL4-ci
August 2, 2024 00:43 1m 35s
August 2, 2024 00:43 1m 35s
deps-update
Deploy CAmkES Unit #39: Repository dispatch triggered by seL4-ci
July 25, 2024 17:28 1m 42s
July 25, 2024 17:28 1m 42s
deps-update
Deploy CAmkES Unit #38: Repository dispatch triggered by seL4-ci
July 24, 2024 02:55 1m 36s
July 24, 2024 02:55 1m 36s
deps-update
Deploy CAmkES Unit #37: Repository dispatch triggered by seL4-ci
July 19, 2024 05:17 1m 39s
July 19, 2024 05:17 1m 39s
deps-update
Deploy CAmkES Unit #36: Repository dispatch triggered by seL4-ci
July 11, 2024 17:58 1m 43s
July 11, 2024 17:58 1m 43s
deps-update
Deploy CAmkES Unit #35: Repository dispatch triggered by seL4-ci
July 11, 2024 07:17 1m 34s
July 11, 2024 07:17 1m 34s
thylint: accept PR number inputs
Deploy CAmkES Unit #34: Commit c705c08 pushed by lsf37
July 9, 2024 07:27 1m 40s master
July 9, 2024 07:27 1m 40s
Add new host keys
Deploy CAmkES Unit #33: Commit 607634d pushed by lsf37
July 19, 2023 02:02 2m 6s master
July 19, 2023 02:02 2m 6s
scripts: update ts server ID
Deploy CAmkES Unit #32: Commit e1f9950 pushed by lsf37
July 18, 2023 10:22 2m 15s master
July 18, 2023 10:22 2m 15s