attempt

LPCIC · Feb 26, 2025 · 0667db3 · 0667db3
1 parent 3be369c
commit 0667db3
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -29,7 +29,8 @@ jobs:
           custom_image: ${{ matrix.image }}
           after_script: |
             ls -l
-            chmod -R a+w .
+            id
+            sudo chmod -R a+w .
             make all-examples
             make all-tests
           export: 'OPAMWITHTEST OPAMIGNORECONSTRAINTS OPAMVERBOSE'  # space-separated list of variables