2 Commits

Author SHA1 Message Date
Kerollmops
181e7a1e53
Introduce the first bot that triggers benchmarks 2023-10-05 12:05:38 +02:00
curquiza
febc8d1b52 Clean CI file names 2023-03-08 19:12:33 +01:00