1#![deny(clippy::all)] 2// List of ignored linters 3#![allow(clippy::large_enum_variant)] 4#![allow(clippy::upper_case_acronyms)] 5#![allow(clippy::from_over_into)] 6#![allow(clippy::ptr_arg)] 7 8pub mod logging; 9pub mod workshop;