Merge branch 'proto' into 'main'

feat: add scripts + infra for setting up nested VMs for routers

See merge request larswirzenius/puomi!3

1 files changed, 11 insertions, 0 deletions

diff --git a/check b/check
new file mode 100755
index 0000000..254c08a
--- /dev/null
+++ b/check
@@ -0,0 +1,11 @@
+#!/bin/bash
+#
+# Typeset the subplot, and verify that a pre-existing test environment
+# functions.
+
+set -euo pipefail
+
+subplot docgen puomi.md -o puomi.pdf
+subplot docgen puomi.md -o puomi.html
+subplot codegen puomi.md -o test.py
+python3 test.py --log test.log