Crazy, just prompted me a new, functional GitHub Action for the
lean-package-validator. Will follow the /dev/null repo approach and have it available under .github/actions/<action-name>.commit ad2ad58