Skip to content

Actions: seL4/camkes-vm-examples

Actions

Deploy

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
camkes-vm-deploy.yml
223 workflow runs
223 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

deps-update Deploy #905: Repository dispatch triggered by seL4-ci
May 2, 2025 11:39 50s
May 2, 2025 11:39 50s
deps-update Deploy #904: Repository dispatch triggered by seL4-ci
April 29, 2025 07:18 2m 34s
April 29, 2025 07:18 2m 34s
deps-update Deploy #903: Repository dispatch triggered by seL4-ci
April 27, 2025 01:34 11h 32m 4s
April 27, 2025 01:34 11h 32m 4s
deps-update Deploy #902: Repository dispatch triggered by seL4-ci
April 27, 2025 00:57 6h 8m 3s
April 27, 2025 00:57 6h 8m 3s
deps-update Deploy #901: Repository dispatch triggered by seL4-ci
April 14, 2025 02:05 45m 1s
April 14, 2025 02:05 45m 1s
deps-update Deploy #900: Repository dispatch triggered by seL4-ci
April 8, 2025 00:47 41m 56s
April 8, 2025 00:47 41m 56s
deps-update Deploy #899: Repository dispatch triggered by seL4-ci
April 4, 2025 04:22 47m 12s
April 4, 2025 04:22 47m 12s
deps-update Deploy #898: Repository dispatch triggered by seL4-ci
April 2, 2025 02:52 45m 27s
April 2, 2025 02:52 45m 27s
deps-update Deploy #897: Repository dispatch triggered by seL4-ci
April 1, 2025 21:58 25m 28s
April 1, 2025 21:58 25m 28s
deps-update Deploy #896: Repository dispatch triggered by seL4-ci
April 1, 2025 00:30 2h 42m 34s
April 1, 2025 00:30 2h 42m 34s
deps-update Deploy #895: Repository dispatch triggered by seL4-ci
March 31, 2025 23:39 1h 47m 51s
March 31, 2025 23:39 1h 47m 51s
deps-update Deploy #894: Repository dispatch triggered by seL4-ci
March 31, 2025 23:31 23m 27s
March 31, 2025 23:31 23m 27s
deps-update Deploy #893: Repository dispatch triggered by seL4-ci
March 31, 2025 23:31 1h 13m 54s
March 31, 2025 23:31 1h 13m 54s
deps-update Deploy #892: Repository dispatch triggered by seL4-ci
March 31, 2025 22:57 3h 30m 24s
March 31, 2025 22:57 3h 30m 24s
deps-update Deploy #891: Repository dispatch triggered by seL4-ci
March 27, 2025 23:54 3h 47m 28s
March 27, 2025 23:54 3h 47m 28s
deps-update Deploy #890: Repository dispatch triggered by seL4-ci
March 27, 2025 05:28 45m 1s
March 27, 2025 05:28 45m 1s
deps-update Deploy #889: Repository dispatch triggered by seL4-ci
March 21, 2025 05:48 44m 19s
March 21, 2025 05:48 44m 19s
deps-update Deploy #888: Repository dispatch triggered by seL4-ci
March 19, 2025 06:26 45m 13s
March 19, 2025 06:26 45m 13s
deps-update Deploy #887: Repository dispatch triggered by seL4-ci
March 17, 2025 23:56 47m 17s
March 17, 2025 23:56 47m 17s
deps-update Deploy #886: Repository dispatch triggered by seL4-ci
March 17, 2025 01:03 1h 44m 50s
March 17, 2025 01:03 1h 44m 50s
github: use central CI workflows Deploy #885: Commit 4acb0ee pushed by lsf37
March 17, 2025 00:56 43m 4s master
master
March 17, 2025 00:56 43m 4s
deps-update Deploy #884: Repository dispatch triggered by seL4-ci
March 17, 2025 00:53 1h 8m 46s
March 17, 2025 00:53 1h 8m 46s
deps-update Deploy #883: Repository dispatch triggered by seL4-ci
March 17, 2025 00:53 17m 15s
March 17, 2025 00:53 17m 15s
deps-update Deploy #882: Repository dispatch triggered by seL4-ci
March 17, 2025 00:52 17m 34s
March 17, 2025 00:52 17m 34s
deps-update Deploy #881: Repository dispatch triggered by seL4-ci
March 17, 2025 00:46 22m 53s
March 17, 2025 00:46 22m 53s