macOS build and test

Nontermination witnesses #1893

Sign in to view logs

Triggered via pull request February 16, 2025 19:38

AdamZsofi

synchronize #338

nontermination-witnesses

Status Cancelled

Total duration 20m 22s

Artifacts –

mac-build-test.yml

on: pull_request

Matrix: test-mac

Annotations

1 error

test-mac (macos-13)

Canceling since a higher priority waiting request for 'mac-refs/pull/338/merge' exists