Merge branch 'main' into semantics-of-reg-exp

.github/workflows/main.yml

@@ -17,6 +17,7 @@ jobs:
         uses: actions/checkout@v3
         with:
           fetch-depth: 0
+          submodules: 'true'
 
       - name: "Install Node.js"
         uses: actions/setup-node@v3

.gitmodules

@@ -0,0 +1,3 @@
+[submodule "assets/src/teaching-material"]
+	path = assets/src/teaching-material
+	url = git@github.com:dafny-lang/teaching-material.git

Makefile

@@ -14,13 +14,20 @@ check:
 	assets/src/test-generation/verify.sh
 	assets/src/insertion-sort/verify.sh
 	assets/src/proof-dependencies/verify.sh
+	assets/src/brittleness/verify.sh
+	assets/src/teaching-material/verify.sh
+	assets/src/standard-libraries/test.sh
 	assets/src/semantics-of-regular-expressions/verify.sh
 
 generate:
 	node builders/verification-compelling-verify.js --regenerate _includes/verification-compelling-intro.html
 	python3 builders/madoko-gen.py insertion-sort --check
 	python3 builders/madoko-gen.py proof-dependencies --check
 	python3 builders/madoko-gen.py brittleness --check
+	python3 builders/madoko-gen.py teaching-dafny --check
+# Can't use --check on this one because it requires an extra option (--standard-libraries).
+# But standard-libraries/test.sh will verify the source and more anyway.
+	python3 builders/madoko-gen.py standard-libraries
 
 watch-compelling:
 	node builders/verification-compelling-verify.js --watch _includes/verification-compelling-intro.html