Update docs.yml

2024-12-04 16:27:19 +00:00 · 2024-12-04 16:27:19 +00:00 · f9b80080c4
commit f9b80080c4
parent a3e75f41c2
1 changed files with 3 additions and 0 deletions
--- a/.github/workflows/docs.yml
+++ b/.github/workflows/docs.yml
@ -50,6 +50,9 @@ jobs:
      - name: make stats page
        run : lake exe stats mkHTML

+      - name: make notes
+        run : lake exe notes
+
      - name: Generate svg from dot
        run : dot -Tsvg -o ./docs/graph.svg ./docs/InformalDot.dot