Use CWarnings in coqdep #7050
Triggered via pull request
September 6, 2023 16:51
rlepigre
Status
Success
Total duration
1h 19m 25s
Artifacts
1
Artifacts
Produced during runtime
| Name | Size | |
|---|---|---|
|
windows-installer
Expired
|
131 MB |
|