Skip to content

Actions: seL4/camkes-vm-examples

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,045 workflow runs
1,045 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

CMake: use params for DefineCAmkESVMFileServer()
Camkes VM #116: Pull request #37 synchronize by axel-h
January 2, 2024 17:27 4m 0s Hensoldt-Cyber:patch-axel-3
January 2, 2024 17:27 4m 0s
CMake: avoid using bash and output redirection
Camkes VM #115: Pull request #42 synchronize by axel-h
January 2, 2024 17:27 4m 10s Hensoldt-Cyber:patch-axel-8
January 2, 2024 17:27 4m 10s
Clean up CMake, fail build for unsupported platforms
Camkes VM #114: Pull request #41 synchronize by axel-h
January 2, 2024 17:26 3m 59s Hensoldt-Cyber:patch-axel-7
January 2, 2024 17:26 3m 59s
vm_introspect: fix build breaker and warning
Camkes VM #113: Pull request #39 synchronize by axel-h
January 2, 2024 17:25 4m 5s Hensoldt-Cyber:patch-axel-6
January 2, 2024 17:25 4m 5s
camkes-vm-apps: use empty list
CI #130: Pull request #36 synchronize by axel-h
January 2, 2024 17:25 33s Hensoldt-Cyber:patch-axel-1
January 2, 2024 17:25 33s
camkes-vm-apps: use empty list
Camkes VM #112: Pull request #36 synchronize by axel-h
January 2, 2024 17:25 4m 1s Hensoldt-Cyber:patch-axel-1
January 2, 2024 17:25 4m 1s
camkes-vm-apps: use empty list
PR #114: Pull request #36 synchronize by axel-h
January 2, 2024 17:25 22s Hensoldt-Cyber:patch-axel-1
January 2, 2024 17:25 22s
deps-update
Deploy #588: Repository dispatch triggered by seL4-ci
January 1, 2024 23:55 4h 59m 42s
January 1, 2024 23:55 4h 59m 42s
deps-update
Deploy #587: Repository dispatch triggered by seL4-ci
December 27, 2023 23:05 1h 47m 51s
December 27, 2023 23:05 1h 47m 51s
deps-update
Deploy #586: Repository dispatch triggered by seL4-ci
December 12, 2023 07:12 31m 14s
December 12, 2023 07:12 31m 14s
deps-update
Deploy #585: Repository dispatch triggered by seL4-ci
December 6, 2023 10:41 36m 7s
December 6, 2023 10:41 36m 7s
deps-update
Deploy #584: Repository dispatch triggered by seL4-ci
December 5, 2023 16:24 1h 11m 53s
December 5, 2023 16:24 1h 11m 53s
ProTip! You can narrow down the results and go further in time using created:<2023-12-05 or the other filters available.