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 >>> >>