Updating workflows

Author: ianroberts

.github/workflows/ci.yaml

@@ -5,6 +5,14 @@ on:
     branches:
       - master
 
+# Sets permissions of the GITHUB_TOKEN to allow deployment to GitHub Pages
+permissions:
+  contents: read
+  pages: write
+  id-token: write
+  checks: write
+  pull-requests: write
+
 jobs:
   common-build:
     uses: GateNLP/gate-top/.github/workflows/standard-module.yml@master

.github/workflows/pull-request-test-reports.yaml

@@ -0,0 +1,17 @@
+name: Test Reports (PR)
+
+on:
+  workflow_run:
+    workflows: ["Pull Request"]
+    types:
+      - completed
+
+permissions:
+  contents: read
+  actions: read
+  checks: write
+  pull-requests: write
+
+jobs:
+  common-pr:
+    uses: GateNLP/gate-top/.github/workflows/standard-module-pr-test-report.yml@master

.github/workflows/pull-request.yaml

@@ -1,4 +1,4 @@
-name: CI
+name: Pull Request
 
 on:
   pull_request: