Skip to content

Actions: seL4/camkes-vm

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
122 workflow runs
122 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

vm_arm: add pcpu list for core pinning
CI #668: Pull request #54 synchronize by chrisguikema
February 1, 2024 15:27 45s dornerworks:core-pinning
February 1, 2024 15:27 45s
vm_arm: add pcpu list for core pinning
CI #667: Pull request #54 synchronize by chrisguikema
February 1, 2024 15:18 39s dornerworks:core-pinning
February 1, 2024 15:18 39s
vm_arm: add pcpu list for core pinning
CI #666: Pull request #54 synchronize by chrisguikema
February 1, 2024 15:11 38s dornerworks:core-pinning
February 1, 2024 15:11 38s
vm_arm: add pcpu list for core pinning
CI #665: Pull request #54 synchronize by chrisguikema
February 1, 2024 15:04 35s dornerworks:core-pinning
February 1, 2024 15:04 35s
CMake: just depend on VmPCISupport
CI #664: Pull request #125 synchronize by axel-h
January 31, 2024 13:20 32s axel-h:patch-axel-3
January 31, 2024 13:20 32s
remove AddToFileServer()
CI #663: Pull request #76 synchronize by axel-h
January 31, 2024 12:57 46s Hensoldt-Cyber:patch-axel-26
January 31, 2024 12:57 46s
vm-arm: inline memory initializtion module
CI #662: Pull request #68 synchronize by axel-h
January 31, 2024 12:57 34s Hensoldt-Cyber:patch-axel-18
January 31, 2024 12:57 34s
vm_arm: move vpci code to dedicated module
CI #661: Pull request #77 synchronize by axel-h
January 31, 2024 12:55 1m 4s Hensoldt-Cyber:patch-axel-17
January 31, 2024 12:55 1m 4s
vm_arm: add priority in vm config struct
CI #660: Pull request #69 synchronize by axel-h
January 31, 2024 12:55 53s Hensoldt-Cyber:patch-axel-19
January 31, 2024 12:55 53s
vm_arm: remove deprecated config options
CI #659: Pull request #96 synchronize by axel-h
January 31, 2024 12:54 43s Hensoldt-Cyber:patch-axel-23
January 31, 2024 12:54 43s
zynqmp, trivial: add extra smc definition
CI #658: Commit 64690e8 pushed by lsf37
January 31, 2024 02:46 28s master
January 31, 2024 02:46 28s
Zynqmp 2022 1
CI #657: Pull request #129 synchronize by lsf37
January 31, 2024 01:03 42s chrisguikema:zynqmp_2022_1
January 31, 2024 01:03 42s
CI: cancel older concurrent PR runs
CI #656: Commit ae9cfc9 pushed by lsf37
January 30, 2024 23:24 43s master
January 30, 2024 23:24 43s
Zynqmp 2022 1
CI #655: Pull request #129 synchronize by chrisguikema
January 30, 2024 15:31 51s chrisguikema:zynqmp_2022_1
January 30, 2024 15:31 51s
Zynqmp 2022 1
CI #654: Pull request #129 opened by chrisguikema
January 30, 2024 15:30 36s chrisguikema:zynqmp_2022_1
January 30, 2024 15:30 36s
apply CI updates that were done in other repos also
CI #653: Pull request #128 opened by axel-h
January 30, 2024 14:02 54s axel-h:patch-axel-5
January 30, 2024 14:02 54s
Patch axel 32
CI #652: Pull request #127 opened by axel-h
January 29, 2024 11:42 42s axel-h:patch-axel-32
January 29, 2024 11:42 42s
CMake: just depend on VmPCISupport
CI #651: Pull request #125 synchronize by axel-h
January 29, 2024 11:26 38s axel-h:patch-axel-3
January 29, 2024 11:26 38s
Testing CI runs for ZCU102 hardware
CI #650: Pull request #124 synchronize by axel-h
January 29, 2024 11:25 46s axel-h:patch-axel-ci-1
January 29, 2024 11:25 46s
github: update GitHub actions
CI #649: Commit b3e73a5 pushed by lsf37
January 29, 2024 03:26 32s master
January 29, 2024 03:26 32s
github: update GitHub actions
CI #648: Pull request #126 opened by axel-h
January 29, 2024 00:39 48s axel-h:patch-axel-5
January 29, 2024 00:39 48s
remove AddToFileServer()
CI #647: Pull request #76 synchronize by axel-h
January 28, 2024 21:48 38s Hensoldt-Cyber:patch-axel-26
January 28, 2024 21:48 38s
vm-arm: inline memory initializtion module
CI #646: Pull request #68 synchronize by axel-h
January 28, 2024 21:48 30s Hensoldt-Cyber:patch-axel-18
January 28, 2024 21:48 30s
vm_arm: move vpci code to dedicated module
CI #645: Pull request #77 synchronize by axel-h
January 28, 2024 21:46 33s Hensoldt-Cyber:patch-axel-17
January 28, 2024 21:46 33s
vm_arm: add priority in vm config struct
CI #644: Pull request #69 synchronize by axel-h
January 28, 2024 21:44 39s Hensoldt-Cyber:patch-axel-19
January 28, 2024 21:44 39s