Sep 20, 2023 · Sep 15, 2023 · Sep 18, 2023 · Sep 18, 2023 · Sep 18, 2023 · Sep 18, 2023
diff --git a/binder/postBuild b/binder/postBuild
 #!/bin/bash
 set -euo pipefail

 # tmp
 jlpm && jlpm run build

 python -m pip install -e ".[dev,test]"
 jlpm develop
Original file line number	Diff line number	Diff line change
		@@ -1,8 +1,5 @@
		#!/bin/bash
		set -euo pipefail

		# tmp
		jlpm && jlpm run build

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