Irevoire
|
f65116b208
|
chore(ci): uncomment clippy from the ci check
The issue has been fixed in the latest release of rust. See https://github.com/rust-lang/rust-clippy/issues/8662
Fix #2305
|
2022-05-24 15:03:11 +02:00 |
|
Tamo
|
348345f555
|
chore(bors): comments clippy out
There is currently an issue with clippy that stops us from merging PRs.
https://github.com/rust-lang/rust-clippy/issues/8662#issuecomment-1093899755
We can't use clippy in the CI while that's not merged
|
2022-04-11 13:19:00 +02:00 |
|
ad hoc
|
1d683865cf
|
chore(CI): add debug test to CI
|
2022-03-17 12:40:20 +01:00 |
|
Clémentine Urquizar
|
f80b4fdedd
|
Use pr_status isntead of status
|
2021-10-14 14:21:42 +02:00 |
|
Clémentine Urquizar
|
7349fca607
|
Add Milestone Check status to bors.toml
|
2021-10-13 19:10:20 +02:00 |
|
Tamo
|
cb71b714d7
|
fix bors
|
2021-07-01 14:43:54 +02:00 |
|
Tamo
|
c11c909bad
|
update bors
|
2021-07-01 12:02:22 +02:00 |
|
Tamo
|
3a9b86ad55
|
add rustfmt to bors
|
2021-06-30 10:49:10 +02:00 |
|
Clémentine Urquizar
|
0c41adf868
|
Update CI
|
2021-04-27 12:43:00 +02:00 |
|
Clémentine Urquizar
|
f80ea24d2b
|
Add tests on every platform and fix clippy errors
|
2021-04-27 12:42:59 +02:00 |
|
Clémentine Urquizar
|
9dd1ecdc2a
|
Add bors configuration
|
2021-03-16 13:08:26 +01:00 |