macOS build and test

added cycles and cycle heads to yml witness #1892

Sign in to view logs

Triggered via push February 16, 2025 19:37

AdamZsofi

nontermination-witnesses

Status Success

Total duration 15m 3s

Artifacts –

mac-build-test.yml

on: push

Matrix: test-mac