Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. Fix inria/extra-checks CI job (commit: 389f5ee) (details)
Commit 389f5ee5aadd7cd32ea32e60a94151aa6b88ac27 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: 389f5ee)
The file was modifiedtools/ci/inria/extra-checks (diff)