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 | |
parent | 2f994c5f99baba17eccad8ebf018bad11e3ba3d8 (diff) | |
download | riscv-isa-sim-cfe79e06fbfbe2d598693e7aa035a1f6e823d71c.zip riscv-isa-sim-cfe79e06fbfbe2d598693e7aa035a1f6e823d71c.tar.gz riscv-isa-sim-cfe79e06fbfbe2d598693e7aa035a1f6e823d71c.tar.bz2 |
ci: CI should check each commit in a PR
test
-rw-r--r-- | .github/workflows/continuous-integration.yml | 22 | ||||
-rwxr-xr-x | ci-tests/build-spike | 2 |
2 files changed, 20 insertions, 4 deletions
diff --git a/.github/workflows/continuous-integration.yml b/.github/workflows/continuous-integration.yml index 51b65a1..d8c9a02 100644 --- a/.github/workflows/continuous-integration.yml +++ b/.github/workflows/continuous-integration.yml @@ -21,23 +21,37 @@ jobs: runs-on: ubuntu-20.04 steps: - uses: actions/checkout@v2 + with: + # checkout full tree + fetch-depth: 0 - name: Install Dependencies run: sudo xargs apt-get install -y < .github/workflows/apt-packages.txt - run: | - ci-tests/build-spike - ci-tests/test-spike + for commit in $(git rev-list origin/master..HEAD); do + git checkout $commit + echo "Checking commit $commit" + ci-tests/build-spike + ci-tests/test-spike + done test-macos: name: Test Spike build (MacOS) runs-on: macos-12 steps: - uses: actions/checkout@v2 + with: + # checkout full tree + fetch-depth: 0 - name: Install Dependencies run: xargs brew install < .github/workflows/brew-packages.txt - run: | - ci-tests/build-spike - ci-tests/test-spike + for commit in $(git rev-list origin/master..HEAD); do + git checkout $commit + echo "Checking commit $commit" + ci-tests/build-spike + ci-tests/test-spike + done 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 |