File tree Expand file tree Collapse file tree 2 files changed +17
-1
lines changed Expand file tree Collapse file tree 2 files changed +17
-1
lines changed Original file line number Diff line number Diff line change 99      env : DO_FUZZ=true DO_LINT=true 
1010    - rust : beta 
1111    - rust : nightly 
12-       env : DO_BENCH=true 
12+       env : DO_BENCH=true DO_MIRI=true  
1313    - rust : 1.22.0 
1414
1515script :
Original file line number Diff line number Diff line change 4343    )
4444fi 
4545
46+ #  Miri Checks if told to
47+ #  Only supported in nightly
48+ if  [ " $DO_MIRI " =  true  ]
49+ then 
50+     (
51+         MIRI_NIGHTLY=nightly-$( curl -s https://rust-lang.github.io/rustup-components-history/x86_64-unknown-linux-gnu/miri) 
52+         echo  " Installing latest nightly with Miri: $MIRI_NIGHTLY " 
53+         rustup set  profile minimal
54+         rustup default " $MIRI_NIGHTLY " 
55+         cargo miri test  -- -- any_unsafe_transmute_miri_test
56+ 
57+         #  Change back to latest nightly possibly without Miri
58+         rustup default nightly
59+     )
60+ fi 
61+ 
4662#  Bench if told to
4763if  [ " $DO_BENCH " =  true  ]
4864then 
 
 
   
 
     
   
   
          
    
    
     
    
      
     
     
    You can’t perform that action at this time.
  
 
    
  
    
      
        
     
       
      
     
   
 
    
    
  
 
  
 
     
    
0 commit comments