1. a538cf7 [ci] Avoid a spurious warning from grep in the non-ASCII check by Rupert Swarbrick · 3 years, 10 months ago
  2. 5802fd8 Add formatting job to CI by Rafal Kapuscik · 4 years ago
  3. 5dc62b0 [ci] Check source files for non-ASCII characters by Rupert Swarbrick · 4 years ago
  4. f0d5b0c [ci] Add a CI check to avoid committing executable .sv files by Rupert Swarbrick · 4 years ago
  5. 746f9b1 [ci] Add a mypy lint check for code that uses it by Rupert Swarbrick · 4 years ago
  6. 2aff11b [ci] Move "slow lint" commands into script by Rupert Swarbrick · 4 years, 1 month ago
  7. 105df01 [ci] Move code for quick lint job into bash scripts by Rupert Swarbrick · 4 years, 2 months ago