test: tikzautomata

ZhouTimeMachine · Nov 24, 2023 · 6136b8a · 6136b8a
1 parent a6879e5
commit 6136b8a
Show file tree

Hide file tree

Showing 24 changed files with 1,409 additions and 2 deletions.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -24,4 +24,5 @@ jobs:
       - run: pip install mkdocs-material
       - run: pip install mkdocs-heti-plugin
       - run: pip install mkdocs-git-revision-date-localized-plugin
+      - run: pip install tools/mkdocs-tikzautomata-plugin
       - run: mkdocs gh-deploy --force
diff --git a/.gitignore b/.gitignore
@@ -1,4 +1,5 @@
 .DS_Store
 .vscode
 site/
-todo/
+todo/
+cache/
diff --git a/docs/courses/imgs/toc/4.1.drawio.png b/docs/courses/imgs/toc/4.1.drawio.png