Fix Docker release workflow.

coq · Sep 9, 2020 · a47d19b · a47d19b
1 parent 21a592d
commit a47d19b
Showing 1 changed file with 1 addition and 0 deletions.
diff --git 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