Skip to content
CN Proof

fixed Coq version (it does not compile with 8.19) #95

Sign in to view logs

fixed Coq version (it does not compile with 8.19)

fixed Coq version (it does not compile with 8.19) #95

Triggered via pull request December 5, 2024 21:31
@vzalivavzaliva
opened #740
vzaliva:master
Status Success
Total duration 17m 44s
Artifacts –

ci-cn.yml

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