Add miri test step

This commit is contained in:
Gwilym Inzani 2023-04-23 17:46:00 +01:00
parent 4ade408d30
commit db0eab7589
2 changed files with 8 additions and 1 deletions

View file

@ -18,6 +18,10 @@ jobs:
steps: steps:
- name: Install build tools - name: Install build tools
run: sudo apt-get update && sudo apt-get install build-essential binutils-arm-none-eabi libelf-dev zip -y run: sudo apt-get update && sudo apt-get install build-essential binutils-arm-none-eabi libelf-dev zip -y
- name: Install Miri
run: |
rustup component add miri
cargo miri setup
- uses: actions/checkout@v3 - uses: actions/checkout@v3
- name: Cache - name: Cache
uses: actions/cache@v3 uses: actions/cache@v3

View file

@ -59,7 +59,7 @@ check-linker-script-consistency:
find -type f -name gba.ld -print0 | xargs -0 -n1 cmp -- agb/gba.ld find -type f -name gba.ld -print0 | xargs -0 -n1 cmp -- agb/gba.ld
find -type f -name gba_mb.ld -print0 | xargs -0 -n1 cmp -- agb/gba_mb.ld find -type f -name gba_mb.ld -print0 | xargs -0 -n1 cmp -- agb/gba_mb.ld
ci: check-linker-script-consistency build-debug clippy fmt-check test build-release test-release doctest-agb build-roms build-book check-docs ci: check-linker-script-consistency build-debug clippy fmt-check test miri build-release test-release doctest-agb build-roms build-book check-docs
build-roms: build-roms:
just _build-rom "examples/the-purple-night" "PURPLENIGHT" just _build-rom "examples/the-purple-night" "PURPLENIGHT"
@ -85,6 +85,9 @@ publish *args: (_run-tool "publish" args)
release +args: (_run-tool "release" args) release +args: (_run-tool "release" args)
miri:
(cd agb-hashmap && cargo miri test)
_run-tool +tool: _run-tool +tool:
(cd tools && cargo build) (cd tools && cargo build)
"$CARGO_TARGET_DIR/debug/tools" {{tool}} "$CARGO_TARGET_DIR/debug/tools" {{tool}}