diff options
author | eine <6628437+eine@users.noreply.github.com> | 2020-03-02 07:36:52 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-03-02 07:36:52 +0100 |
commit | a15bec5d6628a05cbfa5f78a46f48ac55e8be52a (patch) | |
tree | 006c1ee5a33717a1ede99955fe1369a0905785ce /.github/workflows/push.yml | |
parent | 5cf513ac1a4f6ef61ee8c4312e3567ab2a49e96f (diff) | |
download | ghdl-a15bec5d6628a05cbfa5f78a46f48ac55e8be52a.tar.gz ghdl-a15bec5d6628a05cbfa5f78a46f48ac55e8be52a.tar.bz2 ghdl-a15bec5d6628a05cbfa5f78a46f48ac55e8be52a.zip |
ci: minor style change in push workflow (#1147)
Diffstat (limited to '.github/workflows/push.yml')
-rw-r--r-- | .github/workflows/push.yml | 8 |
1 files changed, 2 insertions, 6 deletions
diff --git a/.github/workflows/push.yml b/.github/workflows/push.yml index 84c26a756..fd2943b87 100644 --- a/.github/workflows/push.yml +++ b/.github/workflows/push.yml @@ -19,16 +19,12 @@ jobs: fail-fast: false max-parallel: 3 matrix: - task: [ - { backend: mcode, args: "" }, - { backend: llvm-7, args: "" }, - { backend: gcc-8.3.0, args: "" }, - ] + task: [ mcode, llvm-7, gcc-8.3.0 ] runs-on: ubuntu-latest steps: - uses: actions/checkout@v1 - run: | - TASK=buster+${{ matrix.task.backend }} ./dist/ci-run.sh -c + TASK=buster+${{ matrix.task }} ./dist/ci-run.sh -c osx: runs-on: macOS-latest |