diff options
| author | Philipp Krones <hello@philkrones.com> | 2023-04-11 15:31:08 +0200 |
|---|---|---|
| committer | Philipp Krones <hello@philkrones.com> | 2023-04-11 15:31:08 +0200 |
| commit | 6b95029f176e5cdaa88de8ca7f5f59fd15a6d850 (patch) | |
| tree | a46baab4cf11050924648f768e9d5e2fd5f3f0bd /.github/workflows | |
| parent | fe129a022a0ae1c458b065725a819faabcbdb2b6 (diff) | |
Merge commit '83e42a2337dadac915c956d125f1d69132f36425' into clippyup
Diffstat (limited to '.github/workflows')
| -rw-r--r-- | .github/workflows/clippy_bors.yml | 2 | ||||
| -rw-r--r-- | .github/workflows/remark.yml | 2 |
2 files changed, 3 insertions, 1 deletions
diff --git a/.github/workflows/clippy_bors.yml b/.github/workflows/clippy_bors.yml index 24e677ce8e1..93198aabdb5 100644 --- a/.github/workflows/clippy_bors.yml +++ b/.github/workflows/clippy_bors.yml @@ -180,6 +180,8 @@ jobs: # Run - name: Build Integration Test + env: + CARGO_PROFILE_DEV_SPLIT_DEBUGINFO: off run: cargo test --test integration --features integration --no-run # Upload diff --git a/.github/workflows/remark.yml b/.github/workflows/remark.yml index 81ef072bbb0..116058b7c75 100644 --- a/.github/workflows/remark.yml +++ b/.github/workflows/remark.yml @@ -29,7 +29,7 @@ jobs: - name: Install mdbook run: | mkdir mdbook - curl -Lf https://github.com/rust-lang/mdBook/releases/download/v0.4.18/mdbook-v0.4.18-x86_64-unknown-linux-gnu.tar.gz | tar -xz --directory=./mdbook + curl -Lf https://github.com/rust-lang/mdBook/releases/download/v0.4.28/mdbook-v0.4.28-x86_64-unknown-linux-gnu.tar.gz | tar -xz --directory=./mdbook echo `pwd`/mdbook >> $GITHUB_PATH # Run |