monkeyking/binder/postBuild

#!/bin/bash
set -euo pipefail

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

jlpm && jlpm run build
jlpm run develop