Skip to content

[CI] Add a job to check for duplicate files #179

[CI] Add a job to check for duplicate files

[CI] Add a job to check for duplicate files #179

Triggered via push September 28, 2024 15:38
Status Failure
Total duration 1h 45m 13s
Artifacts
mathcomp-character
5m 22s
mathcomp-character
mathcomp-analysis
12m 49s
mathcomp-analysis
Fit to window
Zoom out
Zoom in

Annotations

3 errors
coq-tools
Process completed with exit code 1.
stdlib-subcomponents
Process completed with exit code 1.
smtcoq-trakt
Process completed with exit code 1.