Skip to content

Commit

Permalink
update scripts
Browse files Browse the repository at this point in the history
  • Loading branch information
Kaiyu Yang committed Dec 6, 2023
1 parent 119a081 commit 130c3cf
Show file tree
Hide file tree
Showing 2 changed files with 2 additions and 2 deletions.
2 changes: 1 addition & 1 deletion scripts/build.sh
View file
Original file line number Diff line number Diff line change
Expand Up @@ -10,5 +10,5 @@ source $HOME/.elan/env

# Build the project.
lake build
lake script run LeanCopilot/download
lake exe LeanCopilot/download
lake build LeanCopilotTests
2 changes: 1 addition & 1 deletion scripts/build_example.sh
View file
Original file line number Diff line number Diff line change
Expand Up @@ -15,5 +15,5 @@ cd lean4-example
git checkout LeanCopilot-demo

# Build lean4-example.
lake script run LeanCopilot/download
lake exe LeanCopilot/download
lake build

0 comments on commit 130c3cf

Please sign in to comment.