Skip to content
CN-Coq

CN: Do translation validation of resource inference steps in Rocq [work in progress] #171

Sign in to view logs

CN: Do translation validation of resource inference steps in Rocq [work in progress]

CN: Do translation validation of resource inference steps in Rocq [work in progress] #171

Triggered via pull request March 4, 2025 18:51
@vzalivavzaliva
synchronize #898
vzaliva:resource-reasoning
Status Success
Total duration 35m 25s
Artifacts –

ci-cn-coq.yml

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