run_tests+proof: exclude SimplExportAndRefine for AARCH64 · seL4/l4v@fadbfcd

Triggered via push October 10, 2023 00:41

lsf37

aarch64

Status Success

Total duration 39m 21s

Artifacts 1

aarch64.yml

on: push

Matrix: All

Produced during runtime

Name	Size
logs-AARCH64 Expired	134 MB