Changes CI to trigger on PRs (#83)

Author: vulder

.github/workflows/ci.yml

@@ -3,7 +3,11 @@
 
 name: ci
 
-on: [push]
+on:
+  pull_request:
+  push:
+    branches:
+      master
 
 jobs:
   build:

.github/workflows/ci_tool_tests.yml

@@ -2,7 +2,8 @@
 
 name: Tool CI
 
-on: [push]
+on:
+  pull_request:
 
 jobs:
   build:

.github/workflows/release.yml

@@ -23,7 +23,7 @@ jobs:
     - name: Collect git metadata
       id: git_metadata
       run: |
-        echo ::set-output name=VERSION::${GITHUB_REF#refs/tags/v}
+        echo "{VERSION}::{${GITHUB_REF#refs/tags/v}}" >> $GITHUB_OUTPUT
     # The following builds the document in multiple formats for deployment.
     - name: Build the document.
       shell: bash

tools/build/build

@@ -77,6 +77,8 @@ if [ -z "$version" ]; then
   usage "no document version specified"
 fi
 
+version=PR_${version%/*}
+
 ################################################################################
 # Build the document.
 ################################################################################