nicoo dc6b9a8d62 CI: Improve annotations (#1584) ... * CI: Only run rustfmt in one environment - This displays clippy warnings even when rustfmt fails. - This avoids displaying 3 copies of the same rustfmt warning as Github annotations. - Avoids duplicated work. * CI: Suppress warnings when building for the oldest toolchain version We had cases of warnings emitted due to `rustc` bugs that were fixed in non-obsolete versions. * factor: Remove a workaround for warnings on obsolete rustc		2020-08-10 16:53:32 +02:00
..
workflows	CI: Improve annotations (#1584)	2020-08-10 16:53:32 +02:00