Skip to content

Commit

Permalink
update dev commands on Binder
Browse files Browse the repository at this point in the history
  • Loading branch information
jtpio committed Sep 18, 2023
1 parent 6612519 commit d14df1e
Showing 1 changed file with 2 additions and 4 deletions.
6 changes: 2 additions & 4 deletions binder/postBuild
Original file line number Diff line number Diff line change
@@ -1,7 +1,5 @@
#!/bin/bash
set -euo pipefail

python -m pip install -e . --force-reinstall

jlpm && jlpm run build
jlpm run develop
python -m pip install -e ".[dev,test]"
jlpm develop

0 comments on commit d14df1e

Please sign in to comment.