From 11b07b100befa0c92bac70200f86d0e006c44b6c Mon Sep 17 00:00:00 2001
From: Peter Villadsen <pvillads@users.noreply.github.com>
Date: Sun, 5 Apr 2020 22:12:14 -0700
Subject: [PATCH] trigger on both push and pull requests...

and trigger on any branch, not just master
---
 .github/workflows/main.yml | 8 +++-----
 1 file changed, 3 insertions(+), 5 deletions(-)

diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml
index a5ed698..6e3e97b 100644
--- a/.github/workflows/main.yml
+++ b/.github/workflows/main.yml
@@ -1,12 +1,10 @@
 # This is a workflow to build the AST Explorer application
 
-name: Build.Socratex
+name: Build.Explorer
 
 # Controls when the action will run. Triggers the workflow on push or pull request
-# events but only for the master branch
-on:
-  push:
-    branches: [ master ]
+# events for any branch.
+on: [push, pull_request]
 
 # A workflow run is made up of one or more jobs that can run sequentially or in parallel
 jobs: