Skip to content
PR tests

Support Not sound challenges in Stwo #11759

Sign in to view logs

Support Not sound challenges in Stwo

Support Not sound challenges in Stwo #11759

Triggered via pull request January 22, 2025 19:25
@ShuangWu121ShuangWu121
synchronize #2367
stwo-challenges-NotSound
Status Cancelled
Total duration 43s
Artifacts –

pr-tests.yml

on: pull_request
build
8s
build
run_examples
0s
run_examples
bench
8s
bench
udeps
11s
udeps
test_estark_polygon
0s
test_estark_polygon
Matrix: test_quick
Matrix: test_slow
Fit to window
Zoom out
Zoom in

Annotations

7 errors
run_examples
Canceling since a higher priority waiting request for 'PR tests-refs/pull/2367/merge' exists
bench
Canceling since a higher priority waiting request for 'PR tests-refs/pull/2367/merge' exists
bench
The operation was canceled.
udeps
Canceling since a higher priority waiting request for 'PR tests-refs/pull/2367/merge' exists
udeps
The operation was canceled.
build
Canceling since a higher priority waiting request for 'PR tests-refs/pull/2367/merge' exists
build
The operation was canceled.