Skip to content

[CI] Add Coq 8.19

[CI] Add Coq 8.19 #4

Triggered via pull request January 17, 2024 13:09
Status Success
Total duration 14m 27s
Artifacts

nix-action-8.19.yml

on: pull_request
Fit to window
Zoom out
Zoom in