7 Commits

Author	SHA1	Message	Date
Tamo	9799812b27	fix the benchmarks	2024-11-05 15:08:01 +01:00
Clément Renault	a663e408ad	Move to the right rust toolchain version	2024-07-29 10:06:34 +02:00
Clément Renault	986991277f	Use the dtolnay rust toolchain	2024-07-29 10:00:40 +02:00
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