10 lines
178 B
Bash
Executable File
10 lines
178 B
Bash
Executable File
#!/bin/bash
|
|
set -e
|
|
|
|
SCRIPT_DIR=$(cd "$(dirname "${BASH_SOURCE[0]}")" && pwd)
|
|
RUNNER_DIR=$(cd "$SCRIPT_DIR/.." && pwd)
|
|
|
|
pushd "$RUNNER_DIR"
|
|
cargo check --all
|
|
cargo test --all
|
|
popd |