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 37s
Artifacts

nix-action-8.18.yml

on: pull_request
Fit to window
Zoom out
Zoom in