From 9b6578ee68094d2f317be9e07b1c5f0f9f14622e Mon Sep 17 00:00:00 2001
From: Benedict Geihe <bgeihe@uni-koeln.de>
Date: Mon, 16 Oct 2023 07:53:43 +0200
Subject: [PATCH] update apt-get before apt-get install

---
 .github/workflows/ci.yml | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index bd831e41..10541ab4 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -65,6 +65,9 @@ jobs:
       - name: Show Julia version information
         run: julia -e 'using InteractiveUtils; versioninfo(verbose=true)'
 
+      - name: Update `apt-get`
+        run: sudo apt-get update
+
       - name: Install dependencies available with `apt-get`
         # - MPI
         # - HDF5