Skip to content
Cerberus

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

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] #2015

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

ci.yml

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