ci: delete miri workflow (for now) · samanthanguyen.me/rust@5942328

··· 1 - when: 2 - - event: ["push", "pull_request"] 3 - branch: ["main"] 4 - 5 - engine: "nixery" 6 - 7 - dependencies: 8 - nixpkgs: 9 - - cargo 10 - - rustup 11 - 12 - steps: 13 - - name: Setup Rust 14 - command: | 15 - rustup set profile minimal 16 - rustup toolchain install nightly 17 - rustup override set nightly 18 - rustup component add miri 19 - - name: Print environment info 20 - command: | 21 - cargo --version 22 - cargo miri --version 23 - rustup --version 24 - - name: Setup Miri 25 - command: cargo miri setup 26 - - name: Run tests with Miri 27 - command: cargo miri test