cmake: use quotes · seL4/seL4_tools@7cf3b3c

Re-run triggered August 9, 2024 06:58

lsf37

#199

Status Success

Total duration 43m 12s

Artifacts 8

sel4test-hw.yml

on: pull_request_target

Matrix: HW Build

Matrix: HW Run

Produced during runtime

Name	Size
images-armv8a-gcc Expired	245 MB