Historie revizí

Autor SHA1 Zpráva Datum
  Thibaut Vandervelden b94dd2dd88 Update actions/checkout to v4 před 6 měsíci
  Dario Nieuwenhuis 8065502596 Switch from bors to github merge queue. před 1 rokem
  Dario Nieuwenhuis f3e2a8adff Cleanup CI. před 2 roky
  Dario Nieuwenhuis c1fe08a80b ci: do not run tests on master push před 3 roky
  Dario Nieuwenhuis 7ad5fe78cc Fix typo in rustfmt ci před 3 roky
  Dario Nieuwenhuis 3abc8cf72e Enforce rustfmt in CI před 3 roky