Dario Nieuwenhuis 421ee4dfbf ci: add stable build, add tests.		2023-05-29 19:51:06 +02:00
..
ci	ci: add stable build, add tests.	2023-05-29 19:51:06 +02:00
workflows	CI fixes.	2023-05-29 18:49:50 +02:00
bors.toml	Tell bors to delete merged branches	2022-03-14 12:59:48 -05:00