The non-git case was not well documented and not tested, and it was broken since we switched the build infrastructure. In the git case, an update is to do a git pull. In the non-git case, it downloads a zip and unpacks it. The old build infra apparently had builds created for this; instead, I made it download it directly from github. Perhaps we should consider creating builds for this as well eventually? Also add a test for this, so we never break it again.
110 KiB
Executable File
110 KiB
Executable File