Is there anybody here who has successfully used Makarius’s Isabelle Docker image with GitHub actions, for example, to perform automatic builds? I thought it should be as easy as setting up a simple GitHub workflow that employs this Docker image for the actual building, but apparently this is not so.
The concrete problem I’m experiencing is that downloading the current commit from the repository via actions/checkout@v2
runs into a permission problem. A minimal example of a workflow that shows this problem is as follows:
name: Automated checkout
on: [push]
jobs:
checkout:
runs-on: ubuntu-latest
container: makarius/isabelle
steps:
- name: Check out repository
uses: actions/checkout@v2
The error I get is this one:
EACCES: permission denied, open '/__w/⟨repository-name⟩/⟨repository-name⟩/⟨uuid⟩.tar.gz'
A more elaborate problem description is at https://github.com/actions/checkout/issues/587.
Last updated: Jul 15 2022 at 23:21 UTC