CN-Coq

[CN-Test-Gen] Fix issue with printing errors (#908) #191

Sign in to view logs

Triggered via push March 5, 2025 17:16

master

Status Success

Total duration 34m 29s

Artifacts –

ci-cn-coq.yml

on: push

Matrix: build