Prevent dirty git index in rtd

eth-cscs · Nov 8, 2022 · 3d801e0 · 3d801e0
1 parent daab6fa
commit 3d801e0
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/.readthedocs.yml b/.readthedocs.yml
@@ -10,6 +10,10 @@ build:
   os: ubuntu-20.04
   tools:
     python: "3.10"
+  jobs:
+    pre_install:
+      # https://docs.readthedocs.io/en/stable/build-customization.html#avoid-having-a-dirty-git-index
+      - git update-index --assume-unchanged environment.yml doc/conf.py
 
 # Build documentation in the doc/ directory with Sphinx
 sphinx: