From 76eb4160d8945d68123ddfdcd1bc62a1f9d73f50 Mon Sep 17 00:00:00 2001
From: Sebastian Serth <Sebastian.Serth@hpi.de>
Date: Mon, 7 Dec 2020 18:26:28 +0100
Subject: [PATCH] Use YML array for ci.yml

---
 .github/workflows/ci.yml | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index 3682bc82..e706234d 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -1,5 +1,7 @@
 name: CI
-on: [push, pull_request]
+on:
+  - push
+  - pull_request
 jobs:
   test:
     runs-on: ubuntu-20.04