CMake: just depend on VmPCISupport · seL4/camkes-vm@ff6d4e6

Triggered via pull request January 29, 2024 11:26

axel-h

synchronize #125

Status Success

Total duration 5m 51s

Artifacts 3

test.yml

on: pull_request_target

Matrix: Build

Matrix: Hardware

Produced during runtime