Skip to content

Adapt to https://github.com/coq/coq/pull/19530 (#524) #33

Adapt to https://github.com/coq/coq/pull/19530 (#524)

Adapt to https://github.com/coq/coq/pull/19530 (#524) #33

Triggered via push October 3, 2024 16:58
Status Success
Total duration 6m 13s
Artifacts

latest.yml

on: push
Matrix: latest
Fit to window
Zoom out
Zoom in