From 1adc636c8c1935837b563e8a177cc094a055a520 Mon Sep 17 00:00:00 2001
From: Alexandre Abadie <alexandre.abadie@inria.fr>
Date: Fri, 3 May 2024 08:55:51 +0200
Subject: [PATCH] .github: fix missing dotbot v1 artifact download step

---
 .github/workflows/build.yml | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
index a011ddb16..c4247bdfe 100644
--- a/.github/workflows/build.yml
+++ b/.github/workflows/build.yml
@@ -76,6 +76,11 @@ jobs:
     steps:
       - name: Checkout repo
         uses: actions/checkout@v4
+      - name: Download DotBot v1 artifacts
+        uses: actions/download-artifact@v4
+        with:
+          name: artifacts-dotbot-v1
+          path: ./artifacts
       - name: Download DotBot v2 artifacts
         uses: actions/download-artifact@v4
         with: