Hi Spencer, Sorry for bothering you again, but we need another manual sync on the ntfreak/openocd mirror.
Could you please help. Thanks in advance, Tarek Le dim. 8 nov. 2020 à 19:25, Tarek BOCHKATI <tarekbouchk...@gmail.com> a écrit : > > Hi Spen, > > Unfortunately, we are in the same situation with your mirror, since some > patches have touched the github workflow files. > could you please do another manual sync before the 0.11.0-rc1 tag. > > Thanks in advance, > Tarek > > > Le mer. 28 oct. 2020 à 10:39, Tarek BOCHKATI <tarekbouchk...@gmail.com> a > écrit : > >> Le mar. 27 oct. 2020 à 22:19, Spencer Oliver <s...@spen-soft.co.uk> a >> écrit : >> >>> On Tue, 27 Oct 2020 at 09:31, Tarek BOCHKATI <tarekbouchk...@gmail.com> >>> wrote: >>> >>>> Hi Spencer, >>>> >>>> I'm contacting you regarding your Github mirror of OpenOCD. >>>> >>>> After my change http://openocd.zylin.com/#/c/5594/ >>>> The build server is no longer able to sync automatically your mirror. >>>> The error seems that with the application key we cannot push the file >>>> under .github/workflows. >>>> (the discussion log is available here : >>>> https://freenode.logbot.info/openocd/20200930?_sm_nck=1#c5288047 ) >>>> >>>> As your mirror is well known, I believe it's important to keep it >>>> synced with openocd head. >>>> >>>> Could you please try to sync it manually this time to bypass the >>>> .github/workflows file issue. >>>> Then we can check if the build server can again do the sync. >>>> >>> >>> I have done a manual sync so let's see if that solves the issues seen? >>> >> >> Thanks Spencer. >> We should wait for the next merge and check if the sync issue is solved. >> >> BTW, the github actions are working, and windows binaries are generated >> for each push (example >> https://github.com/ntfreak/openocd/actions/runs/332225479 ) >> >>
_______________________________________________ OpenOCD-devel mailing list OpenOCD-devel@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/openocd-devel