diff options
| author | Aina Niemetz <aina.niemetz@gmail.com> | 2020-07-21 10:50:54 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-07-21 10:50:54 -0700 |
| commit | ffed1a0c2da3c28ce910f1a19462ffa771c5b252 (patch) | |
| tree | d04adb6b6fce7f3c3e21c3241b9c50f111570e24 | |
| parent | d557a478c4643fc0bfd8c578db59803224c85b43 (diff) | |
GH Actions: Cancel builds on push, remove redundant mac OS build. (#4779)
| -rw-r--r-- | .github/workflows/ci.yml | 20 |
1 files changed, 19 insertions, 1 deletions
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index e9587e2e6..74c65cfac 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -2,8 +2,15 @@ on: [push, pull_request] name: CI jobs: - build: + cancel: + runs-on: ubuntu-latest + steps: + - name: cancel-previous-runs + uses: styfle/cancel-workflow-action@0.4.1 + with: + access_token: ${{ github.token }} + build: strategy: matrix: os: [ubuntu-latest, macos-latest] @@ -14,6 +21,14 @@ jobs: debug-cln ] + exclude: + - name: production-clang + os: macos-latest + - name: debug + os: macos-latest + - name: debug-cln + os: macos-latest + include: - name: production config: production --all-bindings --lfsc --editline @@ -26,14 +41,17 @@ jobs: cache-key: production-clang check-examples: true env: CC=clang CXX=clang++ + os: ubuntu-latest - name: debug config: debug --symfpu --lfsc --no-debug-symbols --editline cache-key: debug + os: ubuntu-latest - name: debug-cln config: debug --symfpu --cln --gpl --no-debug-symbols --no-proofs cache-key: debug-cln + os: ubuntu-latest name: ${{ matrix.os }}:${{ matrix.name }} runs-on: ${{ matrix.os }} |