Github action to install Agda from the official deployed binaries - View it on GitHub