diff --git a/.github/workflows/publish_docker.yml b/.github/workflows/publish_docker.yml index 2de07db7..4630df4f 100644 --- a/.github/workflows/publish_docker.yml +++ b/.github/workflows/publish_docker.yml @@ -14,6 +14,7 @@ jobs: with: username: ${{ github.actor }} password: ${{ secrets.GITHUB_TOKEN }} + dockerfile: release.Dockerfile registry: docker.pkg.github.com repository: coq/bot/coqbot tag_with_ref: true