Skip to content

Coq 8.20 support

Coq 8.20 support #20

Triggered via pull request September 11, 2024 12:25
@4ever24ever2
synchronize #26
coq20
Status Success
Total duration 3m 54s
Artifacts

nix-action-8.17.yml

on: pull_request
Fit to window
Zoom out
Zoom in