Last Friday there was a bit of a rush to make a release to fix a semi-urgent bug, so a commit hash was used for the Cadence Language Server in order to push this through quickly. Now that a new tagged release has been made (albeit identical to the commit hash used) we should use this instead.
For contributor use:
[x] Targeted PR against master branch
[ ] Linked to Github issue with discussion and accepted design OR link to spec that describes this work
Description
Last Friday there was a bit of a rush to make a release to fix a semi-urgent bug, so a commit hash was used for the Cadence Language Server in order to push this through quickly. Now that a new tagged release has been made (albeit identical to the commit hash used) we should use this instead.
For contributor use:
master
branchFiles changed
in the Github PR explorer