Skip to content
macOS build and test

Added const visitor #198

Sign in to view logs

Added const visitor

Added const visitor #198

Triggered via push July 25, 2023 14:57
@AdamZsofiAdamZsofi
pushed 36dcfc2
btor2-frontend
Status Failure
Total duration 10m 32s
Artifacts –
This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

mac-build-test.yml

on: push
Matrix: test-mac
Fit to window
Zoom out
Zoom in

Annotations

4 errors
test-mac (macos-13)
Gradle build failed: see console output for details
test-mac (macos-12)
Gradle build failed: see console output for details
test-mac (macos-latest)
Gradle build failed: see console output for details
test-mac (macos-11)
Gradle build failed: see console output for details