fix permission denied error

aai-institute · Feb 9, 2024 · 4891560 · 4891560
1 parent a6737b7
commit 4891560
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/.github/workflows/test_and_render.yaml b/.github/workflows/test_and_render.yaml
@@ -11,6 +11,7 @@ jobs:
     runs-on: ubuntu-latest
     container:
       image: ghcr.io/aai-institute/tfl-training-probabilistic-model-checking:main
+      options: --user root
       credentials:
         username: ${{ github.actor }}
         password: ${{ secrets.GITHUB_TOKEN }}