diff --git a/.github/PULL_REQUEST_TEMPLATE.md b/.github/PULL_REQUEST_TEMPLATE.md
new file mode 100644
index 0000000..a7b5110
--- /dev/null
+++ b/.github/PULL_REQUEST_TEMPLATE.md
@@ -0,0 +1,8 @@
+### Description
+
+### How has this been tested?
+
+<!--
+Is this a new or renamed blogpost?
+Remember to update the root directory's Makefile so that the blogpost gets automatically verified.
+-->
diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml
index 24c9d60..a3ea6e0 100644
--- a/.github/workflows/main.yml
+++ b/.github/workflows/main.yml
@@ -33,11 +33,10 @@ jobs:
           node-version: 21.1
 
       - name: "Install Dafny"
-        run: |
-          git clone https://github.com/dafny-lang/dafny.git
-          cd dafny && make z3-mac-arm && make exe
+        uses: dafny-lang/setup-dafny-action@v1.9.1
+        with:
+          dafny-version: "4.11.0"
 
       - name: "Test Blogposts"
         run: |
-          export PATH=/Users/runner/work/blog/blog/dafny/Binaries:$PATH
           make check
diff --git a/Makefile b/Makefile
index 599fac0..dd4b5eb 100644
--- a/Makefile
+++ b/Makefile
@@ -16,6 +16,7 @@ check:
 	-assets/src/brittleness/verify.sh
 	-assets/src/teaching-material/verify.sh
 	assets/src/standard-libraries/test.sh
+	assets/src/cracking-the-coding-interview-permutations/verify.sh
 	-assets/src/semantics-of-regular-expressions/verify.sh
 	(cd assets/src/clear-specification-and-implementation && ./verify.sh)
 
diff --git a/README.md b/README.md
index fd7ae17..c0e98be 100644
--- a/README.md
+++ b/README.md
@@ -55,6 +55,11 @@ To test the blog posts, run:
 
 `make check`
 
+Note that the `check` target does not automatically locate blog posts to test;
+if you are writing a new blog post (or moving an existing one),
+then you will need to add or update the `check` target
+to run the appropriate test/verification commands.
+
 If `make check` does not work, `make generate` might be able to fix things if ran locally, committed and pushed.
 
 # Publish the blog post