Closed Gavin-Holt closed 1 month ago
Looks like this was a cron task at @zyedidia's host, calling tools/nightly-release.sh, which isn't performed any longer. Form my perspective tools/nightly-release.sh and tools/cross-compile.sh should be adapted any way:
$commitID
as replacement for $1
respective the unneeded shell argument of tools/nightly-release.sh
tools/cross-compile.sh
in the current directorybinaries
shouldn't be moved between these scripts and everything performed in the root of the repo; then we can call tools/nightly-release.sh
directlyThis would allow to use this script within a GitHub action, where hub
(GitHub's git
extension) can be performed too, in the "usual" cron
manner.
Unfortunately there is still one important point we can't bypass alone:
These GitHub actions need a secret
, which we can't read/write so far...only the repository owner/admin can do.
Sorry about that, updating the release now. I think a token may have expired. I will monitor to see if this keeps being a problem in the following days.
Hi
I was hoping to try the new improved brace jumping. dmaluka kindly let me know that the PR had been merged.
However, I think the current Nightly binary is stuck, only including changes up to https://github.com/zyedidia/micro/commit/1f51d0b9e2ae7722eda60c5a82de2ab1ea9b16a2 committed on Apr 27.
I'm at work today and can't access https://github.com/zyedidia/micro/archive/refs/tags/nightly.zip which is @codeload.github.com - pesky firewalls! So I can't see the source to check if the new code is included.
Sorry I should have checked the Nightly binaries earlier.
Kind Regards Gavin Holt
Hi,
This is a known problem - if you read the discussions.
Release process #3276
Lots of major fixes are not making it into the available binaries, not so good for us non-compiling users :sob:
I would be great if this could be fixed, it appears to be broken for all push commits by @dmaluka and @JoeKar (i.e. Since Oct 23)
Kind Regards Gavin Holt