[do not merge] Metriclightbulb #1482
Triggered via pull request
November 14, 2024 23:31
samuelgruetter
Status
Success
Total duration
1h 54m 28s
Artifacts
–
coq.yml
on: pull_request
Matrix: build
coq-check-all
0s