Skip to content
CN-Coq

[CN-Test-Gen] Bug replication code #192

Sign in to view logs

[CN-Test-Gen] Bug replication code

[CN-Test-Gen] Bug replication code #192

Triggered via pull request March 5, 2025 18:57
@ZippeyKeys12ZippeyKeys12
opened #910
ZippeyKeys12:cn-test-gen-replication-code
Status Success
Total duration 33m 33s
Artifacts –

ci-cn-coq.yml

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