Skip to content
Windows build and test

Z3 update #669

Sign in to view logs

Z3 update

Z3 update #669

Triggered via pull request March 10, 2024 15:16
@leventeBajczileventeBajczi
opened #254
z3-update
Status Cancelled
Total duration 4m 16s
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