From 002d5d6384b69404dc3255d7df5c4e721f0fa48b Mon Sep 17 00:00:00 2001
From: Richard Brooksby <rb@ravenbrook.com>
Date: Fri, 24 Feb 2023 09:14:30 +0000
Subject: [PATCH] Minor fixes in response to review
 <https://github.com/ravenbrook/mps/pull/119#issuecomment-1441605046>.

---
 mps/.github/workflows/fixme-check.yml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/mps/.github/workflows/fixme-check.yml b/mps/.github/workflows/fixme-check.yml
index fce065a0201..7e34fea8cac 100644
--- a/mps/.github/workflows/fixme-check.yml
+++ b/mps/.github/workflows/fixme-check.yml
@@ -1,7 +1,7 @@
 # .github/workflows/fixme-check.yml -- check for FIXME task labels
 #
 # This is a GitHub CI workflow
-# <https://docs.github.com/en/actions/using-workflows/about-workflows>
+# <https://docs.github.com/en/actions/automating-builds-and-tests/about-continuous-integration>
 # to check for FIXME and similar task labels left unresolved in the
 # MPS source tree.
 
@@ -14,7 +14,7 @@ on:
   - workflow_dispatch # allow manual triggering
 
 jobs:
-  check-rst:
+  check-fixme:
     runs-on: ubuntu-latest
     steps:
       - uses: actions/checkout@v3