diff options
| author | Jerry Zhao <jerryz123@berkeley.edu> | 2023-06-12 23:40:39 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-06-12 23:40:39 -0700 |
| commit | c636ad356c3d5fd7d5ee565c59ab7bdc3f3852f5 (patch) | |
| tree | d6ea8d708ba0cf79e298301946858a6719108251 | |
| parent | 2f994c5f99baba17eccad8ebf018bad11e3ba3d8 (diff) | |
| parent | cfe79e06fbfbe2d598693e7aa035a1f6e823d71c (diff) | |
| download | riscv-isa-sim-c636ad356c3d5fd7d5ee565c59ab7bdc3f3852f5.zip riscv-isa-sim-c636ad356c3d5fd7d5ee565c59ab7bdc3f3852f5.tar.gz riscv-isa-sim-c636ad356c3d5fd7d5ee565c59ab7bdc3f3852f5.tar.bz2 | |
Merge pull request #1377 from riscv-software-src/ci-thorough
Have CI run on each commit in a PR, instead of just the HEAD
| -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 |