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 <[email protected]> a écrit : > Le mar. 27 oct. 2020 à 22:19, Spencer Oliver <[email protected]> a > écrit : > >> On Tue, 27 Oct 2020 at 09:31, Tarek BOCHKATI <[email protected]> >> 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 [email protected] https://lists.sourceforge.net/lists/listinfo/openocd-devel
