Skip to content

fix: correct behavior of runLinter --update#1600

Open
thorimur wants to merge 1 commit into
leanprover-community:mainfrom
thorimur:runLinter-update-fix
Open

fix: correct behavior of runLinter --update#1600
thorimur wants to merge 1 commit into
leanprover-community:mainfrom
thorimur:runLinter-update-fix

fix: correct behavior of `runLinter --update`

7da5b87
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

The logs for this run have expired and are no longer available.