diff options
| author |  Henrik Tjäder <henrik@tjaders.com>
| 2020-06-10 15:01:07 +0000 |
|---|---|---|
| committer | Henrik Tjäder <henrik@tjaders.com>
| 2020-06-10 15:21:01 +0000 |
| commit | a8a003fb89d30f29f5fb6681c60ae95637e480c6 (patch) | |
| tree | 5020ed053a24d5e9501ebf1a9880ec2e03999d8c | |
| parent | 29f354020e4733ab3a173c80e4929d215ad380e3 (diff) | |
| download | rtic-a8a003fb89d30f29f5fb6681c60ae95637e480c6.tar.gz rtic-a8a003fb89d30f29f5fb6681c60ae95637e480c6.tar.zst rtic-a8a003fb89d30f29f5fb6681c60ae95637e480c6.zip | |
Disable optimisation profiles in GHA for 1.36.0
| -rw-r--r-- | .github/workflows/build.yml | 17 |
1 files changed, 17 insertions, 0 deletions
diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml index e6abe374..8468ceb7 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 |