Skip to content
Snippets Groups Projects

CI: add same jobs as in original GitHub fork

Merged STEVAN Antoine requested to merge ci/add-same-jobs-as-in-original-github-fork into master
+ 1
1
@@ -4,7 +4,7 @@
#![deny(trivial_numeric_casts, private_in_public, variant_size_differences)]
#![deny(stable_features, unreachable_pub, non_shorthand_field_patterns)]
#![deny(unused_attributes, unused_mut)]
#![deny(missing_docs)]
#![warn(missing_docs)]
#![deny(unused_imports)]
#![deny(renamed_and_removed_lints, stable_features, unused_allocation)]
#![deny(unused_comparisons, bare_trait_objects, unused_must_use)]
Loading