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

Sign in to view logs

Triggered via push October 2, 2024 08:42

sim642

machdep-arch

Status Success

Total duration 1m 48s

Artifacts –

indentation.yml

on: push

Matrix: indentation