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 22400fe20c Fix fuzz on latest nightly. před 3 roky
  Adam Greig aafc5e79ca Add Github Actions for CI před 4 roky