Skip to content
macOS build and test

Z3 update #683

Sign in to view logs

Z3 update

Z3 update #683

Triggered via pull request March 11, 2024 14:13
@leventeBajczileventeBajczi
synchronize #254
z3-update
Status Cancelled
Total duration 12m 34s
Artifacts –

mac-build-test.yml

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

Annotations

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