Update coq-demo.yml more debug

coq-community · May 10, 2024 · bfc8c18 · bfc8c18
1 parent 4ea0622
commit bfc8c18
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/.github/workflows/coq-demo.yml b/.github/workflows/coq-demo.yml
@@ -235,6 +235,8 @@ jobs:
               find "$(dirname "$(dirname "$GITHUB_STEP_SUMMARY")")"
               ls -la "$(dirname "$(dirname "$GITHUB_STEP_SUMMARY")")"
               ls -la "$(dirname "$GITHUB_STEP_SUMMARY")"
+              sudo chmod -R a+rw "$(dirname "$GITHUB_STEP_SUMMARY")"
+              ls -la "$(dirname "$GITHUB_STEP_SUMMARY")"
               ls -la $GITHUB_STEP_SUMMARY
               echo "ex_var=$ex_var" | tee -a $GITHUB_STEP_SUMMARY
               [ "$ex_var" = "ex_value" ]