DibyashanuPati/PhysLean
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

feat: Improvements to dependency graph

Browse source
This commit is contained in:
jstoobysmith 2024-09-28 12:17:11 +00:00
parent 9c2f7baf33
commit d53565d8ac
3 changed files with 159 additions and 8 deletions
Download patch file Download diff file Expand all files Collapse all files

2
.github/workflows/docs.yml vendored
View file

@ -45,7 +45,7 @@ jobs:
run : lake exe find_TODOs mkFile
- name: make list of informal proofs and lemmas
run : lake exe informal mkFile mkDot
run : lake exe informal mkFile mkDot mkHTML
- name: Generate svg from dot
run : dot -Tsvg -o ./docs/graph.svg ./docs/InformalDot.dot