Open
Description
Currently what we are doing is this:
https://github.com/ArkScript-lang/arkscript-lang.github.io/blob/3e516b61add92896f5846868ac77251109a6236c/.github/workflows/arkdoc.yml#L49-L53
We get the latest tag from GitHub with curl, modify the index.html in charge of the redirection, and later we commit it.
This is often not working, currently the latest tag is 3.1.3 but the redirection was made for 3.1.2.