diff options
| author | Jerry Zhao <jerryz123@berkeley.edu> | 2023-06-12 15:52:45 -0700 |
|---|---|---|
| committer | Jerry Zhao <jerryz123@berkeley.edu> | 2023-06-12 17:52:50 -0700 |
| commit | cfe79e06fbfbe2d598693e7aa035a1f6e823d71c (patch) | |
| tree | d6ea8d708ba0cf79e298301946858a6719108251 /ci-tests | |
| parent | 2f994c5f99baba17eccad8ebf018bad11e3ba3d8 (diff) | |
| download | spike-cfe79e06fbfbe2d598693e7aa035a1f6e823d71c.zip spike-cfe79e06fbfbe2d598693e7aa035a1f6e823d71c.tar.gz spike-cfe79e06fbfbe2d598693e7aa035a1f6e823d71c.tar.bz2 | |
ci: CI should check each commit in a PR
test
Diffstat (limited to 'ci-tests')
| -rwxr-xr-x | ci-tests/build-spike | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/ci-tests/build-spike b/ci-tests/build-spike index 5eb7b58..9c3fb37 100755 --- a/ci-tests/build-spike +++ b/ci-tests/build-spike @@ -3,6 +3,8 @@ set -e DIR="$( cd "$( dirname "${BASH_SOURCE[0]}" )" >/dev/null 2>&1 && pwd )" +rm -rf build + mkdir build cd build mkdir install |