CI: fix name of the GitHub Action top level name