Commit 2023-07-17 23:40 188909c8

View on Github →

fix: make warningAsError a weak arg (#5970)

Estimated changes

modified def moreLeanArgs
added def weakLeanArgs