We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
2 parents 7628c37 + 5b74ea5 commit 2419098Copy full SHA for 2419098
1 file changed
.github/workflows/Documentation.yml
@@ -36,7 +36,7 @@ jobs:
36
37
- name: Delete dev docs
38
run: |
39
- git rm -rf ./*/dev/
+ git rm -rf ./Spectra/dev/
40
- name: Push changes
41
42
git config user.name "Documenter.jl"
0 commit comments