Skip to content
Windows build and test

Z3 update #681

Sign in to view logs

Z3 update

Z3 update #681

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

win-build-test.yml

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

Annotations

3 errors
test-windows (windows-2022)
Canceling since a higher priority waiting request for 'win-z3-update' exists
test-windows (windows-2019)
Canceling since a higher priority waiting request for 'win-z3-update' exists
test-windows (windows-latest)
Canceling since a higher priority waiting request for 'win-z3-update' exists