Skip to content

Added multi formalism to create product of arbitrary number of formal… #654

Added multi formalism to create product of arbitrary number of formal…

Added multi formalism to create product of arbitrary number of formal… #654

Triggered via pull request February 26, 2024 15:46
Status Cancelled
Total duration 1m 8s
Artifacts

win-build-test.yml

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

Annotations

6 errors
test-windows (windows-latest)
Canceling since a higher priority waiting request for 'win-multi_product' exists
test-windows (windows-latest)
The operation was canceled.
test-windows (windows-2022)
Canceling since a higher priority waiting request for 'win-multi_product' exists
test-windows (windows-2022)
The operation was canceled.
test-windows (windows-2019)
Canceling since a higher priority waiting request for 'win-multi_product' exists
test-windows (windows-2019)
The operation was canceled.