Skip to content

Commit 30f86c5

Browse files
hamzaremmalKordyjan
authored andcommitted
Add dotty to the safe directories in nightly_documentation
1 parent a83a4e0 commit 30f86c5

File tree

1 file changed

+1
-0
lines changed

1 file changed

+1
-0
lines changed

.github/workflows/ci.yaml

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -645,6 +645,7 @@ jobs:
645645

646646
- name: Generate Website
647647
run: |
648+
git config --global --add safe.directory /__w/dotty/dotty
648649
./project/scripts/genDocs -doc-snapshot
649650
650651
- name: Deploy Website to dotty-website

0 commit comments

Comments
 (0)