3 commits

Author	SHA1	Message	Date
Sky Splash	b19f882d29	Revert "change runner" ... This reverts commit e32d3c1b8d.	2024-05-30 09:46:59 +02:00
Fauli1221	e32d3c1b8d	change runner	2024-04-30 21:33:33 +02:00
Alexandre Flament	08e7c37a35	GitHub workflows: run checker on Friday	2024-03-03 11:18:43 +01:00