macOS build and test

Fix horn solving for termination #1926

Sign in to view logs

Triggered via pull request February 23, 2025 14:50

opened #342

nontermination-chc

Status Failure

Total duration 11m 19s

Artifacts –

mac-build-test.yml

on: pull_request

Matrix: test-mac

Annotations

1 error

test-mac (macos-13)

Gradle build failed: see console output for details