From 048b0480966b8a3e0dada03d7a2d5f05ed92b604 Mon Sep 17 00:00:00 2001
From: Bengt Giger <bgiger@ethz.ch>
Date: Sun, 13 Dec 2020 19:42:57 +0100
Subject: [PATCH] add checkout

---
 .github/workflows/build_docker_images.yml | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/.github/workflows/build_docker_images.yml b/.github/workflows/build_docker_images.yml
index b98ca7fb..fd5bdfe1 100644
--- a/.github/workflows/build_docker_images.yml
+++ b/.github/workflows/build_docker_images.yml
@@ -43,6 +43,8 @@ jobs:
         with:
           username: ${{ secrets.DOCKERHUB_USERNAME }}
           password: ${{ secrets.DOCKERHUB_TOKEN }}
+      - name: Checkout repository
+        uses: actions/checkout@v2
       - 
         name: Download a single artifact
         uses: actions/download-artifact@v2