Commit Graph

6 Commits

Author SHA1 Message Date
Mathias Baumann
7548441b4f Check for wrong error codes in the CI 2020-05-27 18:02:58 +02:00
Harikrishnan Mulackal
21e34d7ca9 Fixed seed for randomness, fixed conflicts in errorids 2020-05-26 18:21:47 +05:30
Leonardo Alt
c6742e3752 Fix typo in correct error ids script 2020-05-17 23:24:31 +02:00
Harikrishnan Mulackal
bf7ab8d277 Error ids only walk into a given set of directories 2020-05-12 14:58:31 +05:30
Mathias Baumann
ff084c2809 Make error correction script user interaction case insensitive 2020-05-07 11:29:57 +02:00
a3d4
2d984b77a1 Add a script to correct IDs 2020-05-06 14:25:13 +02:00