[Csnd-dev] Github actions

[Csnd-dev] Github actions

Date	2025-09-01 08:39
From	Victor Lazzarini <000010b17ddd988e-dmarc-request@LISTSERV.HEANET.IE>
Subject	[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. Another git process seems to be running in this repository, e.g. an editor opened by 'git commit'. Please make sure all processes are terminated then try again. If it still fails, a git process may have crashed in this repository earlier: remove the file manually to continue. Error: Git fetch failed with exit code: 255 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

Date	2025-09-01 09:27
From	Hlöðver Sigurðsson
Subject	Re: [Csnd-dev] Github actions
	one quick fix to test out actions/checkout@v1 it's now on version 5 https://github.com/actions/checkout/releases/tag/v5.0.0 I make PR On Mon, 1 Sept 2025 at 10:39, Victor Lazzarini <000010b17ddd988e-dmarc-request@listserv.heanet.ie> wrote: 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. Another git process seems to be running in this repository, e.g. an editor opened by 'git commit'. Please make sure all processes are terminated then try again. If it still fails, a git process may have crashed in this repository earlier: remove the file manually to continue. Error: Git fetch failed with exit code: 255 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

Date	2025-09-01 10:04
From	Hlöðver Sigurðsson
Subject	Re: [Csnd-dev] Github actions
	I hope I don't jinx it, looks good now, looks like the build will succeed https://github.com/csound/csound/pull/2251 On Mon, 1 Sept 2025 at 11:27, Hlöðver Sigurðsson <hlolli@gmail.com> wrote: one quick fix to test out actions/checkout@v1 it's now on version 5 https://github.com/actions/checkout/releases/tag/v5.0.0 I make PR On Mon, 1 Sept 2025 at 10:39, Victor Lazzarini <000010b17ddd988e-dmarc-request@listserv.heanet.ie> wrote: 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. Another git process seems to be running in this repository, e.g. an editor opened by 'git commit'. Please make sure all processes are terminated then try again. If it still fails, a git process may have crashed in this repository earlier: remove the file manually to continue. Error: Git fetch failed with exit code: 255 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

Date	2025-09-01 10:11
From	Hlöðver Sigurðsson
Subject	Re: [Csnd-dev] Github actions
	success, looks good I'll merge after I have approval (or you merge for me) On Mon, 1 Sept 2025 at 12:04, Hlöðver Sigurðsson <hlolli@gmail.com> wrote: I hope I don't jinx it, looks good now, looks like the build will succeed https://github.com/csound/csound/pull/2251 On Mon, 1 Sept 2025 at 11:27, Hlöðver Sigurðsson <hlolli@gmail.com> wrote: one quick fix to test out actions/checkout@v1 it's now on version 5 https://github.com/actions/checkout/releases/tag/v5.0.0 I make PR On Mon, 1 Sept 2025 at 10:39, Victor Lazzarini <000010b17ddd988e-dmarc-request@listserv.heanet.ie> wrote: 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. Another git process seems to be running in this repository, e.g. an editor opened by 'git commit'. Please make sure all processes are terminated then try again. If it still fails, a git process may have crashed in this repository earlier: remove the file manually to continue. Error: Git fetch failed with exit code: 255 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

Date	2025-09-01 15:34
From	Eduardo Moguillansky
Subject	Re: [Csnd-dev] Github actions
	I think I fixed this in the last PR for *in operations by updating actions/checkout to v4. There still seems to be a failing build "ARM baremetal" (still using v1) which I cannot find in the repo On Mon, Sep 1, 2025 at 9:39 AM Victor Lazzarini <000010b17ddd988e-dmarc-request@listserv.heanet.ie> wrote: 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. Another git process seems to be running in this repository, e.g. an editor opened by 'git commit'. Please make sure all processes are terminated then try again. If it still fails, a git process may have crashed in this repository earlier: remove the file manually to continue. Error: Git fetch failed with exit code: 255 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

Date	2025-09-01 15:36
From	Victor Lazzarini <000010b17ddd988e-dmarc-request@LISTSERV.HEANET.IE>
Subject	Re: [Csnd-dev] [EXTERNAL] Re: [Csnd-dev] Github actions
	I've merged Hlodver's fix, so you can pull and merge from develop into your branch Prof. Victor Lazzarini Maynooth University Ireland On 1 Sep 2025, at 15:34, Eduardo Moguillansky <eduardo.moguillansky@gmail.com> wrote: Warning This email originated from outside of Maynooth University's Mail System. Do not reply, click links or open attachments unless you recognise the sender and know the content is safe. I think I fixed this in the last PR for *in operations by updating actions/checkout to v4. There still seems to be a failing build "ARM baremetal" (still using v1) which I cannot find in the repo On Mon, Sep 1, 2025 at 9:39 AM Victor Lazzarini <000010b17ddd988e-dmarc-request@listserv.heanet.ie> wrote: 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. Another git process seems to be running in this repository, e.g. an editor opened by 'git commit'. Please make sure all processes are terminated then try again. If it still fails, a git process may have crashed in this repository earlier: remove the file manually to continue. Error: Git fetch failed with exit code: 255 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