diff options
| -rw-r--r-- | .github/workflows/build.yml | 6 |
1 files changed, 0 insertions, 6 deletions
diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml index ed88c772..b1655f1c 100644 --- a/.github/workflows/build.yml +++ b/.github/workflows/build.yml @@ -376,9 +376,6 @@ jobs: 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 @@ -420,9 +417,6 @@ jobs: 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 |