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