It seems that the default permissions for the Github Workflow/Action that is to update the compiler has no sufficient permissions to do so:
Submodule path 'effekt': checked out 'cbff76e875c7ce4aca5e52fd8ef170c1f66b97e9'
Submodule 'kiama' (git@github.com:effekt-lang/kiama.git) registered for path 'effekt/kiama'
Cloning into '/home/runner/work/effekt-website/effekt-website/effekt/kiama'...
git@github.com: Permission denied (publickey).
fatal: Could not read from remote repository.
Interestingly, checking out the effekt submodule is not an issue.
It seems that one needs to create a "Personal Access Token" with "Read-Write" access to the parent repository, and "Read" access to submodule repositories, however, this can only be done by the organisation owner.
It seems that the default permissions for the Github Workflow/Action that is to update the compiler has no sufficient permissions to do so:
Interestingly, checking out the
effekt
submodule is not an issue.It seems that one needs to create a "Personal Access Token" with "Read-Write" access to the parent repository, and "Read" access to submodule repositories, however, this can only be done by the organisation owner.