|
|
a663e408ad
|
Move to the right rust toolchain version
|
2024-07-29 10:06:34 +02:00 |
|
|
|
986991277f
|
Use the dtolnay rust toolchain
|
2024-07-29 10:00:40 +02:00 |
|
|
|
e16edb2c35
|
use the helix action since the official one doesn't support the rust-toolchain file
|
2024-06-25 17:00:50 +02:00 |
|
|
|
5c758438fc
|
Update the CI to take the rust-toolchain file into account
|
2024-06-25 16:59:23 +02:00 |
|
|
|
181e7a1e53
|
Introduce the first bot that triggers benchmarks
|
2023-10-05 12:05:38 +02:00 |
|
|
|
febc8d1b52
|
Clean CI file names
|
2023-03-08 19:12:33 +01:00 |
|
