Skip to content
CN-Coq

[CN-Test-Gen] Fix issue with printing errors #189

Sign in to view logs

[CN-Test-Gen] Fix issue with printing errors

[CN-Test-Gen] Fix issue with printing errors #189

Triggered via pull request March 5, 2025 16:01
@ZippeyKeys12ZippeyKeys12
opened #908
ZippeyKeys12:cn-test-gen-fix-error-printing
Status Cancelled
Total duration 1m 44s
Artifacts –

ci-cn-coq.yml

on: pull_request
Matrix: build
Fit to window
Zoom out
Zoom in

Annotations

2 errors
build (5.2.0)
Canceling since a higher priority waiting request for 'ci-CN-Coq-refs/pull/908/merge' exists
build (5.2.0)
The operation was canceled.