Skip to content

Coq 8.20 (#373)

Coq 8.20 (#373) #373

Triggered via push September 17, 2024 17:13
Status Success
Total duration 41s
Artifacts

lint.yml

on: push
Fit to window
Zoom out
Zoom in