Re: [Csnd-dev] Github actions

Hlöðver Sigurðsson <[email protected]> Mon, 1 Sep 2025 12:11:57 +0300
Newsgroups gmane.comp.audio.csound.devel
Message-ID <CAB8vR8+rn37zWFw3h2scAVw_mVbuXkNxBiWPQu-V7GTFUkGGsw@mail.gmail.com>
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 <[email protected]> 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 <[email protected]> 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 <
>> [email protected]> 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.
>>>
>>> <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
>>>
>>