macOS build and test

Nontermination witnesses #1889

Sign in to view logs

Triggered via pull request February 16, 2025 17:50

synchronize #338

nontermination-witnesses

Status Success

Total duration 15m 11s

Artifacts –

mac-build-test.yml

on: pull_request

Matrix: test-mac