[Csnd-dev] Github actions

Some of the actions from csound_builds.yml
are failing in the code checkout stage, eg

error: cannot lock ref 'refs/tags/csound5.07': Unable to create '/Users/runner/work/csound/csound/.git/refs/tags/csound5.07.lock': File exists.
<https://github.com/csound/csound/actions/runs/17366059887/job/49300955762#step:3:1617>
<https://github.com/csound/csound/actions/runs/17366059887/job/49300955762#step:3:1618>Another git process seems to be running in this repository, e.g.
<https://github.com/csound/csound/actions/runs/17366059887/job/49300955762#step:3:1619>an editor opened by 'git commit'. Please make sure all processes
<https://github.com/csound/csound/actions/runs/17366059887/job/49300955762#step:3:1620>are terminated then try again. If it still fails, a git process
<https://github.com/csound/csound/actions/runs/17366059887/job/49300955762#step:3:1621>may have crashed in this repository earlier:
<https://github.com/csound/csound/actions/runs/17366059887/job/49300955762#step:3:1622>remove the file manually to continue.
<https://github.com/csound/csound/actions/runs/17366059887/job/49300955762#step:3:1623>Error: Git fetch failed with exit code: 255
<https://github.com/csound/csound/actions/runs/17366059887/job/49300955762#step:3:1624>Error: Exit code 1 returned from process: file name '/Users/runner/actions-runner/cached/bin/Runner.PluginHost', arguments 'action "GitHub.Runner.Plugins.Repository.v1_0.CheckoutTask, Runner.Plugins"'.

Does anyone know how to fix that? I noticed it first happen last week and I was able to re-run the jobs but now they're failing on re-runs too.


Prof. Victor Lazzarini
Maynooth University
Ireland