macOS build and test

fixed var naming and inductive/invariant flags #1898

Sign in to view logs

Triggered via push February 16, 2025 20:54

nontermination-witnesses

Status Success

Total duration 13m 36s

Artifacts –

mac-build-test.yml

on: push

Matrix: test-mac