Skip to content
CI

coqide: rename to coq-platform, update #161277

Sign in to view logs

coqide: rename to coq-platform, update

coqide: rename to coq-platform, update #161277

Triggered via pull request November 23, 2024 21:30
@p-linnanep-linnane
synchronize #191558
coqide-rename-and-updates
Status Success
Total duration 4m 13s
Artifacts –

ci.yml

on: pull_request
generate-matrix
26s
generate-matrix
Matrix: test
conclusion
0s
conclusion
Fit to window
Zoom out
Zoom in