chore: add instructions to update make check

.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.
+-->

.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

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)
 

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