[do not merge] Metriclightbulb #1480
Triggered via pull request
November 14, 2024 17:47
samuelgruetter
Status
Success
Total duration
1h 58m 6s
Artifacts
–
coq.yml
on: pull_request
Matrix: build
coq-check-all
0s