diff options
author | eine <6628437+eine@users.noreply.github.com> | 2020-03-01 20:53:18 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-03-01 20:53:18 +0100 |
commit | 5cf513ac1a4f6ef61ee8c4312e3567ab2a49e96f (patch) | |
tree | 7c1e496a1585401565accdbf59b4e16a84a5fd0e /.github/workflows/push.yml | |
parent | a423981be5f226cd70429169c484814b2fd64752 (diff) | |
download | ghdl-5cf513ac1a4f6ef61ee8c4312e3567ab2a49e96f.tar.gz ghdl-5cf513ac1a4f6ef61ee8c4312e3567ab2a49e96f.tar.bz2 ghdl-5cf513ac1a4f6ef61ee8c4312e3567ab2a49e96f.zip |
enable synth by default (#1102)
* enable synth by default
* ci: disable synth for the GPL builds
* deprecate Ubuntu 16, use Ubuntu 18 in Travis
Diffstat (limited to '.github/workflows/push.yml')
-rw-r--r-- | .github/workflows/push.yml | 22 |
1 files changed, 13 insertions, 9 deletions
diff --git a/.github/workflows/push.yml b/.github/workflows/push.yml index e250ff1d2..84c26a756 100644 --- a/.github/workflows/push.yml +++ b/.github/workflows/push.yml @@ -7,24 +7,28 @@ env: jobs: + gpl: + runs-on: ubuntu-latest + steps: + - uses: actions/checkout@v1 + - run: | + TASK=buster+mcode ./dist/ci-run.sh -c --gpl --no-synth + linux: strategy: fail-fast: false - max-parallel: 2 + max-parallel: 3 matrix: task: [ - { backend: mcode, args: "--gpl" }, - { backend: mcode, args: "--synth" }, - { backend: llvm-7, args: "--synth" }, - { backend: gcc-8.3.0, args: "--synth" }, + { backend: mcode, args: "" }, + { backend: llvm-7, args: "" }, + { backend: gcc-8.3.0, args: "" }, ] runs-on: ubuntu-latest steps: - uses: actions/checkout@v1 - - run: ./dist/ci-run.sh -c $TARGS - env: - TASK: buster+${{ matrix.task.backend }} - TARGS: ${{ matrix.task.args }} + - run: | + TASK=buster+${{ matrix.task.backend }} ./dist/ci-run.sh -c osx: runs-on: macOS-latest |