Commit Graph

10 Commits

Author SHA1 Message Date
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