Skip to content

Commit 58e81e8

Browse files
DerGuteMoritzvemv
authored andcommitted
Update code inlining instructions
1 parent 67573f7 commit 58e81e8

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

.github/PULL_REQUEST_TEMPLATE.md

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -4,7 +4,7 @@ by checking the relevant checkboxes):
44
- [ ] The commits are consistent with our [contribution guidelines](./CONTRIBUTING.md)
55
- [ ] You've added tests (if possible) to cover your change(s)
66
- [ ] All tests are passing (run `lein do clean, test`)
7-
- [ ] Code inlining with mranderson works and tests pass with inlined code (run `./build.sh install` -- takes a long time)
7+
- [ ] Code inlining with mranderson works and tests pass with inlined code (run `make install` -- takes a long time)
88
- [ ] You've updated the changelog (if adding/changing user-visible functionality)
99
- [ ] You've updated the readme (if adding/changing user-visible functionality)
1010

0 commit comments

Comments
 (0)