Skip to content

Upgrading version of Coq #393

Upgrading version of Coq

Upgrading version of Coq #393

Triggered via push November 26, 2023 10:54
Status Success
Total duration 2m 24s
Artifacts

coq-action.yml

on: push
Fit to window
Zoom out
Zoom in