From 40bfde6f08f4dc03a2c9bc21cc2389d03d5185ac Mon Sep 17 00:00:00 2001
From: Thomas Ballmann <mail@i-2xdream.de>
Date: Mon, 17 May 2021 21:00:57 +0200
Subject: [PATCH] Create build-platformio.sh

---
 ci/build-platformio.sh | 12 ++++++++++++
 1 file changed, 12 insertions(+)
 create mode 100644 ci/build-platformio.sh

diff --git a/ci/build-platformio.sh b/ci/build-platformio.sh
new file mode 100644
index 0000000..3670758
--- /dev/null
+++ b/ci/build-platformio.sh
@@ -0,0 +1,12 @@
+#!/bin/bash
+
+# Exit immediately if a command exits with a non-zero status.
+set -e
+
+# Make sure we are inside the github workspace
+cd $GITHUB_WORKSPACE
+
+# Install PlatformIO CLI
+export PATH=$PATH:~/.platformio/penv/bin
+curl -fsSL https://raw.githubusercontent.com/platformio/platformio-core-installer/master/get-platformio.py -o get-platformio.py
+python3 get-platformio.py