Add dotty to the safe directories in nightly_documentation

hamzaremmal · hamzaremmal · commit bafaa343d47b · 2024-02-17T21:26:20.000+01:00
diff --git a/.github/workflows/ci.yaml b/.github/workflows/ci.yaml
@@ -662,6 +662,7 @@ jobs:
 
       - name: Generate Website
         run: |
+          git config --global --add safe.directory /__w/dotty/dotty
           ./project/scripts/genDocs -doc-snapshot
 
       - name: Deploy Website to dotty-website
