To construct the URL for asset upload, I incorrectly used a release name ("v1234") rather than GitHub's release identifier (some integer). This PR attempts to fix that: a GraphQL query uses the release tag to find the release identifier, before constructing the correct asset upload URL. This also required moving the JSON parsing up in the file. I tested the changes manually using a fork of CakeML, and asset upload seemed to work.
To construct the URL for asset upload, I incorrectly used a release name ("v1234") rather than GitHub's release identifier (some integer). This PR attempts to fix that: a GraphQL query uses the release tag to find the release identifier, before constructing the correct asset upload URL. This also required moving the JSON parsing up in the file. I tested the changes manually using a fork of CakeML, and asset upload seemed to work.