Skip to content
options

Disable 29-svcomp/36-svcomp-arch cram test on MacOS #9249

Sign in to view logs

Disable 29-svcomp/36-svcomp-arch cram test on MacOS

Disable 29-svcomp/36-svcomp-arch cram test on MacOS #9249

Triggered via push October 2, 2024 08:42
@sim642sim642
pushed 6d04b1a
machdep-arch
Status Success
Total duration 21s
Artifacts –

options.yml

on: push
Matrix: validate-conf
Fit to window
Zoom out
Zoom in