From ad3f03f91fb30e19223cb8e9d3f76db14912d903 Mon Sep 17 00:00:00 2001
From: Maximilian Gerhardt <maximilian.gerhardt@rub.de>
Date: Wed, 3 Feb 2021 16:57:48 +0100
Subject: [PATCH] Attempt to fix CI

---
 extras/ci/platformio.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/extras/ci/platformio.sh b/extras/ci/platformio.sh
index 905e1bb12..8faddfd63 100755
--- a/extras/ci/platformio.sh
+++ b/extras/ci/platformio.sh
@@ -1,6 +1,6 @@
 #!/bin/sh -eux
 
-pip install --user platformio
+pip3 install --user platformio
 
 case $BOARD in
 uno)