Skip to content

Adapt to coq#19822 #448

Adapt to coq#19822

Adapt to coq#19822 #448

Triggered via pull request November 18, 2024 09:25
Status Success
Total duration 58m 3s
Artifacts

ci.yml

on: pull_request
Matrix: build-vos
Matrix: build
Fit to window
Zoom out
Zoom in