Merge safety workflows

This commit is contained in:
Jon Gjengset 2022-09-18 11:52:12 -07:00
parent 71c2048cc0
commit 56d4398a24
5 changed files with 86 additions and 103 deletions

View file

@ -1,24 +0,0 @@
on:
push:
branches: [main]
pull_request:
name: Address sanitizer
jobs:
test:
runs-on: ubuntu-latest
steps:
- uses: actions-rs/toolchain@v1
with:
profile: minimal
toolchain: nightly
override: true
- uses: actions/checkout@v3
- name: cargo test -Zsanitizer=address
uses: actions-rs/cargo@v1
with:
command: test
# only --lib --tests b/c of https://github.com/rust-lang/rust/issues/53945
args: --lib --tests --all-features --target x86_64-unknown-linux-gnu
env:
ASAN_OPTIONS: "detect_odr_violation=0:detect_leaks=0"
RUSTFLAGS: "-Z sanitizer=address"

View file

@ -1,22 +0,0 @@
on:
push:
branches: [main]
pull_request:
name: Loom
jobs:
test:
runs-on: ubuntu-latest
steps:
- uses: actions-rs/toolchain@v1
with:
toolchain: stable
profile: minimal
- uses: actions/checkout@v3
- name: cargo test --test loom
uses: actions-rs/cargo@v1
with:
command: test
args: --release --test loom
env:
LOOM_MAX_PREEMPTIONS: 2
RUSTFLAGS: "--cfg loom"

View file

@ -1,32 +0,0 @@
on:
push:
branches: [main]
pull_request:
name: Leak sanitizer
jobs:
test:
runs-on: ubuntu-latest
steps:
- uses: actions-rs/toolchain@v1
with:
profile: minimal
toolchain: nightly
override: true
- uses: actions/checkout@v3
- run: |
# to get the symbolizer for debug symbol resolution
sudo apt install llvm
# to fix buggy leak analyzer:
# https://github.com/japaric/rust-san#unrealiable-leaksanitizer
sed -i '/\[features\]/i [profile.dev]' Cargo.toml
sed -i '/profile.dev/a opt-level = 1' Cargo.toml
cat Cargo.toml
name: Enable debug symbols
- name: cargo test -Zsanitizer=leak
uses: actions-rs/cargo@v1
with:
command: test
args: --all-features --target x86_64-unknown-linux-gnu
env:
RUSTFLAGS: "-Z sanitizer=leak"
LSAN_OPTIONS: "suppressions=lsan-suppressions.txt"

View file

@ -1,25 +0,0 @@
on:
push:
branches: [main]
pull_request:
name: Miri
jobs:
test:
runs-on: ubuntu-latest
steps:
- run: |
echo "NIGHTLY=nightly-$(curl -s https://rust-lang.github.io/rustup-components-history/x86_64-unknown-linux-gnu/miri)" >> $GITHUB_ENV
- uses: actions-rs/toolchain@v1
with:
profile: minimal
toolchain: ${{ env.NIGHTLY }}
override: true
components: miri
- uses: actions/checkout@v3
- name: cargo miri test
uses: actions-rs/cargo@v1
with:
command: miri
args: test
env:
MIRIFLAGS: "-Zmiri-tag-raw-pointers"

86
.github/workflows/safety.yml vendored Normal file
View file

@ -0,0 +1,86 @@
on:
push:
branches: [main]
pull_request:
name: safety
jobs:
sanitizers:
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v3
with:
submodules: true
- name: Install nightly
uses: actions-rs/toolchain@v1
with:
profile: minimal
toolchain: nightly
default: true
- run: |
# to get the symbolizer for debug symbol resolution
sudo apt install llvm
# to fix buggy leak analyzer:
# https://github.com/japaric/rust-san#unrealiable-leaksanitizer
sed -i '/\[features\]/i [profile.dev]' Cargo.toml
sed -i '/profile.dev/a opt-level = 1' Cargo.toml
cat Cargo.toml
name: Enable debug symbols
- name: cargo test -Zsanitizer=address
uses: actions-rs/cargo@v1
with:
command: test
# only --lib --tests b/c of https://github.com/rust-lang/rust/issues/53945
args: --lib --tests --all-features --target x86_64-unknown-linux-gnu
env:
ASAN_OPTIONS: "detect_odr_violation=0:detect_leaks=0"
RUSTFLAGS: "-Z sanitizer=address"
- name: cargo test -Zsanitizer=leak
if: always()
uses: actions-rs/cargo@v1
with:
command: test
args: --all-features --target x86_64-unknown-linux-gnu
env:
LSAN_OPTIONS: "suppressions=lsan-suppressions.txt"
RUSTFLAGS: "-Z sanitizer=leak"
miri:
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v3
with:
submodules: true
- run: |
echo "NIGHTLY=nightly-$(curl -s https://rust-lang.github.io/rustup-components-history/x86_64-unknown-linux-gnu/miri)" >> $GITHUB_ENV
- name: Install ${{ env.NIGHTLY }}
uses: actions-rs/toolchain@v1
with:
profile: minimal
toolchain: ${{ env.NIGHTLY }}
default: true
components: miri
- name: cargo miri test
uses: actions-rs/cargo@v1
with:
command: miri
args: test
env:
MIRIFLAGS: "-Zmiri-tag-raw-pointers"
loom:
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v3
with:
submodules: true
- name: Install stable
uses: actions-rs/toolchain@v1
with:
toolchain: stable
profile: minimal
- name: cargo test --test loom
uses: actions-rs/cargo@v1
with:
command: test
args: --release --test loom
env:
LOOM_MAX_PREEMPTIONS: 2
RUSTFLAGS: "--cfg loom"