Skip to content

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

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

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

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

build.yml

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