Skip to content
Check for copyright header

fix: help message flags, removes -f flag and adds -g flag #5373

Sign in to view logs

fix: help message flags, removes -f flag and adds -g flag

fix: help message flags, removes -f flag and adds -g flag #5373

check-lean-files

check-lean-files
succeeded Oct 13, 2024 in 26s