Skip to content

Commit

Permalink
Merge #29
Browse files Browse the repository at this point in the history
29: Remove --all-targets from miri invocation r=CAD97 a=CAD97

as per [this comment](rust-lang/miri#739 (comment)) --all-targets violates assumptions within the miri driver. 



Co-authored-by: CAD97 <cad97@cad97.com>
  • Loading branch information
bors[bot] and CAD97 committed May 11, 2020
2 parents 314f3b8 + 31f1169 commit fd9cb81
Show file tree
Hide file tree
Showing 2 changed files with 2 additions and 3 deletions.
4 changes: 2 additions & 2 deletions .github/workflows/ci.yaml
Original file line number Diff line number Diff line change
Expand Up @@ -108,12 +108,12 @@ jobs:
uses: actions-rs/cargo@v1
with:
command: miri
args: test --all-features --all-targets --target x86_64-unknown-linux-gnu
args: test --all-features --target x86_64-unknown-linux-gnu
- name: Test 32 bit target
uses: actions-rs/cargo@v1
with:
command: miri
args: test --all-features --all-targets --target i686-unknown-linux-gnu
args: test --all-features --target i686-unknown-linux-gnu

coverage:
name: Coverage (tarpaulin)
Expand Down
1 change: 0 additions & 1 deletion examples/pratt_parser.rs
Original file line number Diff line number Diff line change
Expand Up @@ -254,7 +254,6 @@ fn tests() {

fn main() -> std::io::Result<()> {
use std::io::BufRead;
#[cfg(not(miri))]
for line in std::io::stdin().lock().lines() {
let line = line?;
let s = expr(&line);
Expand Down

0 comments on commit fd9cb81

Please sign in to comment.