lowercase; also use quotes

.github/workflows/pr.yml

@@ -1,4 +1,4 @@
-name: PR
+name: pull_request
 
 on:
  pull_request:

.github/workflows/push.yml

@@ -1,5 +1,5 @@
 # Build and publish the container and use it to render the PDF for pushes to main.
-name: Push
+name: push
 
 on:
  push:

.github/workflows/release.yml

@@ -1,5 +1,5 @@
 # Build, publish, and tag the container and use it to render the PDF for releases.
-name: build and publish
+name: release
 
 on:
  release:

.github/workflows/render.yml

@@ -1,7 +1,7 @@
 # Reusable workflow to render the spec for a variety of purposes.
 # https://docs.github.com/en/actions/using-workflows/reusing-workflows
 
-name: Render Markdown
+name: render
 
 on:
  workflow_call:
@@ -42,7 +42,7 @@ jobs:
  id: gen_output_name
  run: |
  filename=$(basename ${{ inputs.input }})
- echo OUTPUT_FILENAME="${filename%.*}" >> $GITHUB_OUTPUT"
+ echo OUTPUT_FILENAME="${filename%.*}" >> "$GITHUB_OUTPUT"
 
  # Cache the LaTeX files. Use input file and container version in the cache
  # key so that the cache is invalidated upon file change or container