Skip to content

Replace --strict flag with RERUN_PANIC_ON_WARN env-var#3872

Merged
Wumpf merged 2 commits intomainfrom emilk/panic-on-warnOct 16, 2023

Commits

Commits on Oct 16, 2023