Run workflows on pull request, as we are not using SKARA.

gnu-andrew · gnu-andrew · commit 41cfe833ce81 · 2022-06-23T01:09:48.000+01:00
diff --git a/.github/workflows/submit.yml b/.github/workflows/submit.yml
@@ -5,7 +5,7 @@ on:
     branches-ignore:
       - master
       - pr/*
-  workflow_dispatch:
+  pull_request:
     inputs:
       platforms:
         description: "Platform(s) to execute on"
