From ec066d62987fa4b446d89ae4a956a41147fbb09b Mon Sep 17 00:00:00 2001
From: "Erik C. Thauvin" <erik@thauvin.net>
Date: Sun, 26 Jul 2020 16:07:48 -0700
Subject: [PATCH] Fixed push, etc., again.

---
 .github/workflows/gradle.yml | 6 +-----
 1 file changed, 1 insertion(+), 5 deletions(-)

diff --git a/.github/workflows/gradle.yml b/.github/workflows/gradle.yml
index acb273d..2e56d13 100644
--- a/.github/workflows/gradle.yml
+++ b/.github/workflows/gradle.yml
@@ -1,10 +1,6 @@
 name: Java CI with Gradle
 
-on:
-  push:
-  pull_request:
-  workflow_dispatch:
-    
+on: [push, pull_request, workflow_dispatch]
 
 jobs:
   build: