From f154cb4b4b038d01fd05b0f1a7e90611caa71fd0 Mon Sep 17 00:00:00 2001
From: Mainak Jas <mainakjas@gmail.com>
Date: Wed, 10 Jul 2024 17:00:56 -0400
Subject: [PATCH] Binder must be present in root dir

---
 .circleci/config.yml | 1 +
 1 file changed, 1 insertion(+)

diff --git a/.circleci/config.yml b/.circleci/config.yml
index 2a623df48..c5c0b2008 100644
--- 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: