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
