Skip to content

Coq 8.20 support

Coq 8.20 support #18

Triggered via pull request September 10, 2024 19:14
@4ever24ever2
opened #26
Status Success
Total duration 2m 19s
Artifacts

nix-action-8.17.yml

on: pull_request_target
Fit to window
Zoom out
Zoom in