4 Commits

Author	SHA1	Message	Date
Tamo	e16edb2c35	use the helix action since the official one doesn't support the rust-toolchain file	2024-06-25 17:00:50 +02:00
Tamo	5c758438fc	Update the CI to take the rust-toolchain file into account	2024-06-25 16:59:23 +02:00
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