testing GitHub workflow

dice-group · Dec 7, 2023 · a33ce0d · a33ce0d
1 parent 8132f8d
commit a33ce0d
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/.github/workflows/docs.yml b/.github/workflows/docs.yml
@@ -27,6 +27,10 @@ jobs:
       run: |
         # epstopdf & dot & noto-fonts
         sudo apt update && sudo apt install texlive-font-utils graphviz fonts-noto
+        sudo rm -rf /usr/share/dotnet
+        sudo rm -rf /opt/ghc
+        sudo rm -rf "/usr/local/share/boost"
+        sudo rm -rf "$AGENT_TOOLSDIRECTORY"
     - name: Set up Conda
       uses: conda-incubator/setup-miniconda@v2
       with: