Commit 2026-10-20 12:09 930ae145

View on Github →

fix(rm_set_option.py): don't cause build warnings (#45074) When checking if removing a set_option line fails, pass the --iofail flag to lake: this means any change causing a warning (or any other informational output) to be produced will be rejected.

Estimated changes