ソースを参照

Run jlpm before running build?

Maybe this will help?
yuvipanda 6 年 前
コミット
6a05d36af0
1 ファイル変更3 行追加0 行削除
  1. 3 0
      binder/postBuild

+ 3 - 0
binder/postBuild

@@ -2,6 +2,9 @@
 set -euo pipefail
 
 pip install .
+
+jlpm
+
 jlpm build
 
 # This seems to be explicitly needed with `pip install -e .`