Skip to content

Actions: seL4/camkes-vm-examples

Actions

Deploy

Actions

Loading...
Loading

Show workflow options

Create status badge

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

deps-update Deploy #826: Repository dispatch triggered by seL4-ci
February 12, 2025 11:00 37m 19s
February 12, 2025 11:00 37m 19s
deps-update Deploy #825: Repository dispatch triggered by seL4-ci
February 12, 2025 03:50 33m 27s
February 12, 2025 03:50 33m 27s
deps-update Deploy #824: Repository dispatch triggered by seL4-ci
February 10, 2025 22:35 46m 2s
February 10, 2025 22:35 46m 2s
deps-update Deploy #823: Repository dispatch triggered by seL4-ci
February 10, 2025 22:07 39m 59s
February 10, 2025 22:07 39m 59s
deps-update Deploy #822: Repository dispatch triggered by seL4-ci
February 10, 2025 04:53 1h 43m 8s
February 10, 2025 04:53 1h 43m 8s
deps-update Deploy #821: Repository dispatch triggered by seL4-ci
February 10, 2025 01:48 22m 11s
February 10, 2025 01:48 22m 11s
deps-update Deploy #820: Repository dispatch triggered by seL4-ci
February 10, 2025 00:17 2h 28m 12s
February 10, 2025 00:17 2h 28m 12s
deps-update Deploy #819: Repository dispatch triggered by seL4-ci
February 9, 2025 13:01 3h 21m 11s
February 9, 2025 13:01 3h 21m 11s
deps-update Deploy #818: Repository dispatch triggered by seL4-ci
February 9, 2025 12:39 1h 0m 42s
February 9, 2025 12:39 1h 0m 42s
deps-update Deploy #817: Repository dispatch triggered by seL4-ci
February 7, 2025 15:44 41m 24s
February 7, 2025 15:44 41m 24s
deps-update Deploy #816: Repository dispatch triggered by seL4-ci
February 6, 2025 06:17 34m 12s
February 6, 2025 06:17 34m 12s
deps-update Deploy #815: Repository dispatch triggered by seL4-ci
February 5, 2025 22:58 1h 13m 58s
February 5, 2025 22:58 1h 13m 58s
deps-update Deploy #814: Repository dispatch triggered by seL4-ci
February 5, 2025 22:38 39m 6s
February 5, 2025 22:38 39m 6s
deps-update Deploy #813: Repository dispatch triggered by seL4-ci
February 4, 2025 05:51 1h 43m 45s
February 4, 2025 05:51 1h 43m 45s
deps-update Deploy #812: Repository dispatch triggered by seL4-ci
February 4, 2025 05:39 57m 48s
February 4, 2025 05:39 57m 48s
deps-update Deploy #811: Repository dispatch triggered by seL4-ci
February 3, 2025 23:11 34m 31s
February 3, 2025 23:11 34m 31s
deps-update Deploy #810: Repository dispatch triggered by seL4-ci
February 3, 2025 05:11 32m 59s
February 3, 2025 05:11 32m 59s
deps-update Deploy #809: Repository dispatch triggered by seL4-ci
February 2, 2025 23:57 35m 57s
February 2, 2025 23:57 35m 57s
deps-update Deploy #808: Repository dispatch triggered by seL4-ci
February 2, 2025 10:06 33m 33s
February 2, 2025 10:06 33m 33s
deps-update Deploy #807: Repository dispatch triggered by seL4-ci
January 31, 2025 02:05 47m 59s
January 31, 2025 02:05 47m 59s
deps-update Deploy #806: Repository dispatch triggered by seL4-ci
January 30, 2025 21:59 32m 36s
January 30, 2025 21:59 32m 36s
deps-update Deploy #805: Repository dispatch triggered by seL4-ci
December 19, 2024 06:43 1h 38m 2s
December 19, 2024 06:43 1h 38m 2s
github: pin Ubuntu 22.04 for deployment step Deploy #804: Commit 81ab7a4 pushed by lsf37
December 19, 2024 06:43 15m 40s master
master
December 19, 2024 06:43 15m 40s
deps-update Deploy #803: Repository dispatch triggered by seL4-ci
December 19, 2024 06:42 1h 7m 7s
December 19, 2024 06:42 1h 7m 7s
deps-update Deploy #802: Repository dispatch triggered by seL4-ci
December 19, 2024 05:36 42m 1s
December 19, 2024 05:36 42m 1s