fix permission denied error

Author: fariedabuzaid

.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 }}