macOS build and test

portfolio data-race fix #533

Sign in to view logs

Triggered via push November 25, 2023 11:41

svcomp24

Status Success

Total duration 12m 36s

Artifacts –

mac-build-test.yml

on: push

Matrix: test-mac