Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. Fix inria/extra-checks CI job (commit: 8b6b835) (details)
Commit 8b6b835410bf0c934aca54fc094b1bcf852738ce by Sebastien.Hinderer
Fix inria/extra-checks CI job

Check-typo was confused by a few binary programs.

this commit calls git clean before (rather than after) running
tools/check-typo to fix this.
 (commit: 8b6b835)
The file was modifiedtools/ci/inria/extra-checks (diff)