Try CI as root user

jvanbruegge · Feb 15, 2024 · 2810b33 · 2810b33
1 parent 314163b
commit 2810b33
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/build_theories.yml b/.github/workflows/build_theories.yml
@@ -10,7 +10,7 @@ jobs:
     runs-on: ubuntu-latest
     container:
       image: makarius/isabelle:Isabelle2023
-      options: "--entrypoint /bin/bash"
+      options: "--user root"
 
     steps:
       - name: Checkout