1
0
mirror of https://github.com/emilk/egui.git synced 2026-08-30 13:20:05 -04:00

Add #![forbid(unsafe_code)] and safety badge

This commit is contained in:
Emil Ernerfeldt
2020-10-18 15:40:23 +02:00
parent b8642b4db4
commit 92cfbe643c
5 changed files with 6 additions and 0 deletions

View File

@@ -20,6 +20,7 @@
//! }
//! ```
#![forbid(unsafe_code)]
#![cfg_attr(not(debug_assertions), deny(warnings))] // Forbid warnings in release builds
#![warn(
clippy::all,