Commit History

Author SHA1 Message Date
  Thibaut Vandervelden b94dd2dd88 Update actions/checkout to v4 10 months ago
  Dario Nieuwenhuis 8065502596 Switch from bors to github merge queue. 2 years ago
  Dario Nieuwenhuis f3e2a8adff Cleanup CI. 3 years ago
  Dario Nieuwenhuis c1fe08a80b ci: do not run tests on master push 3 years ago
  Dario Nieuwenhuis 7ad5fe78cc Fix typo in rustfmt ci 4 years ago
  Dario Nieuwenhuis 3abc8cf72e Enforce rustfmt in CI 4 years ago