From 75795aeb20d77d358463512dc0ac8302b3fd39aa Mon Sep 17 00:00:00 2001
From: Lucas Czech <luc.czech@gmail.com>
Date: Wed, 5 Jun 2024 16:27:27 +0200
Subject: [PATCH] Fix CI not finding pip3

---
 .github/workflows/ci.yaml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.github/workflows/ci.yaml b/.github/workflows/ci.yaml
index 3a70222..0c30fb4 100644
--- a/.github/workflows/ci.yaml
+++ b/.github/workflows/ci.yaml
@@ -302,7 +302,7 @@ jobs:
         run: |
           # We do not use the github action to install python and pip,
           # see https://stackoverflow.com/a/70228289/4184258
-          sudo apt-get install python3 pip3
+          sudo apt-get install python3 python3-pip
 
           # Install the dependencies for the tests
           python3 -m venv venv