Skip to content
CN-Coq

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

Sign in to view logs

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

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

Triggered via pull request March 5, 2025 16:03
@ZippeyKeys12ZippeyKeys12
synchronize #908
ZippeyKeys12:cn-test-gen-fix-error-printing
Status Success
Total duration 33m 12s
Artifacts –

ci-cn-coq.yml

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