Unnamed repository; edit this file 'description' to name the repository.
Set opt-level = 1 on dev profile
Laurențiu Nicola 2022-10-12
parent d08f1c3 · commit 73e91dd
-rw-r--r--.github/workflows/ci.yaml4
1 files changed, 4 insertions, 0 deletions
diff --git a/.github/workflows/ci.yaml b/.github/workflows/ci.yaml
index 1563ee0b14..1c061bb748 100644
--- a/.github/workflows/ci.yaml
+++ b/.github/workflows/ci.yaml
@@ -45,6 +45,10 @@ jobs:
- name: Cache Dependencies
uses: Swatinem/rust-cache@ce325b60658c1b38465c06cc965b79baf32c1e72
+ - name: Bump opt-level
+ if: matrix.os == 'ubuntu-latest'
+ run: sed -i '/\[profile.dev]/a opt-level=1' Cargo.toml
+
- name: Compile
run: cargo test --no-run --locked