Add GitHub release workflowBuilds the Joomla file-extension ZIP on tag pushes or manual workflow dispatch and publishes it as a GitHub release asset using actions/checkout@v7 and the GitHub CLI.