This PR points the CI script at the correct URL to get the current K release. Doing so means that #345 can be checked.
Note that it includes a workaround to get more releases from the Github API because the semantics are substantially behind K's current release; the job will start failing again in about 40 K releases.
Actually updating the K dependency proved to be a somewhat larger task, so I've left doing so for a different PR if it's needed.
This PR points the CI script at the correct URL to get the current K release. Doing so means that #345 can be checked.
Note that it includes a workaround to get more releases from the Github API because the semantics are substantially behind K's current release; the job will start failing again in about 40 K releases.
Actually updating the K dependency proved to be a somewhat larger task, so I've left doing so for a different PR if it's needed.