feat: Test all submitted pull requests

Author: erikmd

.github/workflows/build-coq-demo.yml

@@ -3,15 +3,15 @@ name: CI
 
 # Controls when the action will run:
 # https://help.github.com/en/actions/configuring-and-managing-workflows/configuring-a-workflow#filtering-for-specific-branches-tags-and-paths
-# Triggers the workflow on push events or pull request events for the
-# master branch only:
+# Triggers the workflow on push events for the master branch only,
+# or all pull request events:
 on:
   push:
     branches:
       - master
   pull_request:
     branches:
-      - master
+      - '**'
 
 # A workflow run is made up of one or more jobs that can run sequentially or in parallel
 # This workflow contains two jobs, build and mathcomp:

.github/workflows/misc-test.yml

@@ -7,7 +7,7 @@ on:
       - master
   pull_request:
     branches:
-      - master
+      - '**'
 
 jobs:
   uid-test: