|
|
ee15d4fe77
|
Bump version in the CIs
|
2025-03-31 16:45:08 +02:00 |
|
|
|
fe2c0cc3d5
|
Bump rust version to v1.81
|
2025-01-09 09:47:08 +01:00 |
|
|
|
9799812b27
|
fix the benchmarks
|
2024-11-05 15:08:01 +01:00 |
|
|
|
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 |
|
