From a15bec5d6628a05cbfa5f78a46f48ac55e8be52a Mon Sep 17 00:00:00 2001
From: eine <6628437+eine@users.noreply.github.com>
Date: Mon, 2 Mar 2020 07:36:52 +0100
Subject: ci: minor style change in push workflow (#1147)

---
 .github/workflows/push.yml | 8 ++------
 1 file 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
-- 
cgit v1.2.3