Commit History

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