Zynqmp 2022 1 · seL4/camkes-vm@6731448

Triggered via pull request January 31, 2024 01:03

lsf37

synchronize #129

Status Success

Total duration 6m 32s

Artifacts 3

test.yml

on: pull_request_target

Matrix: Build

Matrix: Hardware

Produced during runtime