Binder must be present in root dir

jasmainak · Jul 10, 2024 · f154cb4 · f154cb4
1 parent d0598bc
commit f154cb4
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/.circleci/config.yml b/.circleci/config.yml
@@ -100,6 +100,7 @@ jobs:
               name: Deploy docs to gh-pages branch
               command: |
                 touch doc/_build/html/.nojekyll
+                gh-pages --dotfiles --message "copy binder config [skip ci]" --dist doc/_build/html/binder --dest ./binder
                 gh-pages --dotfiles --message "doc updates [skip ci]" --dist doc/_build/html --dest ./dev
 
 workflows: