Skip to content

Coq 8.20

Coq 8.20 #372

Triggered via pull request September 17, 2024 17:06
@whonorewhonore
synchronize #373
coq-8.20
Status Success
Total duration 41s
Artifacts

lint.yml

on: pull_request
Fit to window
Zoom out
Zoom in