Skip to content

Commit

Permalink
update
Browse files Browse the repository at this point in the history
  • Loading branch information
Kaiyu Yang committed Apr 4, 2024
1 parent f206b39 commit bd597ef
Showing 1 changed file with 1 addition and 7 deletions.
8 changes: 1 addition & 7 deletions ModelCheckpointManager/Download.lean
Original file line number Diff line number Diff line change
Expand Up @@ -57,13 +57,7 @@ def isUpToDate (url : Url) : IO Bool := do
cwd := dir
}).trim != ""

let hasLocalChange := (← IO.Process.run {
cmd := "git"
args := #["diff", "--shortstat"]
cwd := dir
}).trim != ""

return ¬ (hasRemoteChange ∨ hasLocalChange)
return ¬hasRemoteChange


def initGitLFS : IO Unit := do
Expand Down

0 comments on commit bd597ef

Please sign in to comment.