From a47d19b764822beed62cb30781e80e220b99d399 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Th=C3=A9o=20Zimmermann?= <theo.zimmermann@inria.fr>
Date: Wed, 9 Sep 2020 11:56:12 +0200
Subject: [PATCH] Fix Docker release workflow.

---
 .github/workflows/publish_docker.yml | 1 +
 1 file changed, 1 insertion(+)

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