diff options
| author | Laurențiu Nicola <lnicola@dend.ro> | 2022-10-12 17:01:27 +0300 |
|---|---|---|
| committer | Laurențiu Nicola <lnicola@dend.ro> | 2022-10-12 17:44:15 +0300 |
| commit | 73e91dda5032932a8241dcdc938788ed391fe549 (patch) | |
| tree | 2f6271bc5fd08f5842c5620d5438742ca2531f77 /.github/workflows | |
| parent | d08f1c3dff1827d401bafb82ab509a9d1e954008 (diff) | |
Set opt-level = 1 on dev profile
Diffstat (limited to '.github/workflows')
| -rw-r--r-- | .github/workflows/ci.yaml | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/.github/workflows/ci.yaml b/.github/workflows/ci.yaml index 1563ee0b143..1c061bb7486 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 |