From a8a003fb89d30f29f5fb6681c60ae95637e480c6 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Henrik=20Tj=C3=A4der?= <henrik@tjaders.com>
Date: Wed, 10 Jun 2020 15:01:07 +0000
Subject: [PATCH] Disable optimisation profiles in GHA for 1.36.0

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

diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
index e6abe374ba..8468ceb77c 100644
--- a/.github/workflows/build.yml
+++ b/.github/workflows/build.yml
@@ -59,6 +59,10 @@ jobs:
           target: ${{ matrix.target }}
           override: true
 
+      - name: Disable optimisation profiles
+        if: matrix.toolchain == '1.36.0'
+        run: sed -i '/^\[profile.*build-override]$/,/^$/{/^#/!{/^$/!d}}' Cargo.toml
+
       - name: cargo check
         uses: actions-rs/cargo@v1
         with:
@@ -268,6 +272,11 @@ jobs:
           toolchain: ${{ matrix.toolchain }}
           target: ${{ matrix.target }}
           override: true
+
+      - name: Disable optimisation profiles
+        if: matrix.toolchain == '1.36.0'
+        run: sed -i '/^\[profile.*build-override]$/,/^$/{/^#/!{/^$/!d}}' Cargo.toml
+
       - name: cargo check
         uses: actions-rs/cargo@v1
         with:
@@ -287,6 +296,10 @@ jobs:
           toolchain: 1.36.0
           target: thumbv7m-none-eabi
           override: true
+
+      - name: Disable optimisation profiles
+        run: sed -i '/^\[profile.*build-override]$/,/^$/{/^#/!{/^$/!d}}' Cargo.toml
+
       - uses: actions-rs/cargo@v1
         with:
           use-cross: false
@@ -305,6 +318,10 @@ jobs:
           toolchain: 1.36.0
           target: thumbv6m-none-eabi
           override: true
+
+      - name: Disable optimisation profiles
+        run: sed -i '/^\[profile.*build-override]$/,/^$/{/^#/!{/^$/!d}}' Cargo.toml
+
       - uses: actions-rs/cargo@v1
         with:
           use-cross: false