Browse Source

Merge pull request #1377 from riscv-software-src/ci-thorough

Have CI run on each commit in a PR, instead of just the HEAD
pull/1386/head
Jerry Zhao 3 years ago
committed by GitHub
parent
commit
c636ad356c
No known key found for this signature in database GPG Key ID: 4AEE18F83AFDEB23
  1. 22
      .github/workflows/continuous-integration.yml
  2. 2
      ci-tests/build-spike

22
.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

2
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

Loading…
Cancel
Save