[ci] run both debug and release
This commit is contained in:
parent
8d2b2ee5c2
commit
f40fd4bace
1 changed files with 2 additions and 1 deletions
|
|
@ -8,6 +8,7 @@ pushd $WORK_DIR
|
|||
rm -rf $CRATE || echo OK
|
||||
cp -a $HERE/example .
|
||||
pushd $CRATE
|
||||
$CARGO run --target $TARGET
|
||||
$CARGO run --target $TARGET | grep "x = 42"
|
||||
$CARGO run --target $TARGET --release | grep "x = 42"
|
||||
popd
|
||||
popd
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue