 Thibaut Vandervelden
|
b94dd2dd88
Update actions/checkout to v4
|
hai 11 meses |
 Dario Nieuwenhuis
|
8065502596
Switch from bors to github merge queue.
|
%!s(int64=2) %!d(string=hai) anos |
|
Dario Nieuwenhuis
|
f3e2a8adff
Cleanup CI.
|
%!s(int64=3) %!d(string=hai) anos |
|
Dario Nieuwenhuis
|
c1fe08a80b
ci: do not run tests on master push
|
%!s(int64=3) %!d(string=hai) anos |
|
Dario Nieuwenhuis
|
7ad5fe78cc
Fix typo in rustfmt ci
|
%!s(int64=4) %!d(string=hai) anos |
|
Dario Nieuwenhuis
|
3abc8cf72e
Enforce rustfmt in CI
|
%!s(int64=4) %!d(string=hai) anos |
