Skip to content
macOS build and test

Replaced z3 library with old version #680

Sign in to view logs

Replaced z3 library with old version

Replaced z3 library with old version #680

Triggered via push March 11, 2024 14:05
@leventeBajczileventeBajczi
pushed 9c957e2
z3-update
Status Cancelled
Total duration 8m 38s
Artifacts –

mac-build-test.yml

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

Annotations

4 errors
test-mac (macos-12)
Canceling since a higher priority waiting request for 'mac-' exists
test-mac (macos-13)
Canceling since a higher priority waiting request for 'mac-' exists
test-mac (macos-latest)
Canceling since a higher priority waiting request for 'mac-' exists
test-mac (macos-11)
Canceling since a higher priority waiting request for 'mac-' exists