diff --git a/.github/workflows/devcontainer.yml b/.github/workflows/devcontainer.yml index 31e0682a37..80b45d4075 100644 --- a/.github/workflows/devcontainer.yml +++ b/.github/workflows/devcontainer.yml @@ -17,6 +17,12 @@ jobs: matrix: dockerfile: ["gnu","intel","cuda"] steps: + - name: Force Clean Workspace + run: | + sudo chattr -i -R ${{ github.workspace }} 2>/dev/null || true + sudo chown -R $USER:$USER ${{ github.workspace }} + sudo find ${{ github.workspace }} -mindepth 1 -delete + - name: Checkout uses: actions/checkout@v6 diff --git a/doxygen/Doxyfile b/doxygen/Doxyfile index e109197b7b..39a3a477f0 100644 --- a/doxygen/Doxyfile +++ b/doxygen/Doxyfile @@ -2312,7 +2312,7 @@ HAVE_DOT = YES # Minimum value: 0, maximum value: 32, default value: 0. # This tag requires that the tag HAVE_DOT is set to YES. -DOT_NUM_THREADS = 0 +DOT_NUM_THREADS = 2 # When you want a differently looking font in the dot files that doxygen # generates you can specify the font name using DOT_FONTNAME. You need to make