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 15m 34s
Artifacts

nix-action-8.17.yml

on: pull_request
Fit to window
Zoom out
Zoom in