[documentation] Move over wiki to Github pages #645
Comments
vincentraymond-ua
added
the
documentation
vincentraymond-ua
added a commit
that referenced
this issue
Nov 15, 2023
## Moving wiki to Github Pages Moves the following pages from the Wiki to the Github Pages site: - https://github.com/ml4ai/skema/wiki/Adding-a-new-model-to-the-project - https://github.com/ml4ai/skema/wiki/Adding-support-for-a-new-tree%E2%80%90sitter-frontend - https://github.com/ml4ai/skema/wiki/Code-ingestion-front-ends - https://github.com/ml4ai/skema/wiki/Using-the-tree-sitter-preprocessor Additionally, adds a link to the WIP page https://github.com/ml4ai/skema/wiki/Generating-Code2fn-Coverage-Report to keep track of it during development. Once the pages are moved over, the corresponding wiki pages will be deleted. Resolves #645
github-actions bot
added a commit
that referenced
this issue
Nov 15, 2023
## Moving wiki to Github Pages Moves the following pages from the Wiki to the Github Pages site: - https://github.com/ml4ai/skema/wiki/Adding-a-new-model-to-the-project - https://github.com/ml4ai/skema/wiki/Adding-support-for-a-new-tree%E2%80%90sitter-frontend - https://github.com/ml4ai/skema/wiki/Code-ingestion-front-ends - https://github.com/ml4ai/skema/wiki/Using-the-tree-sitter-preprocessor Additionally, adds a link to the WIP page https://github.com/ml4ai/skema/wiki/Generating-Code2fn-Coverage-Report to keep track of it during development. Once the pages are moved over, the corresponding wiki pages will be deleted. Resolves #645 12cb0ca
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Per discussion, we have decided to move all existing wiki pages except for the
Tree Sitter to CAST translationpage to the Github Pages site. Going forward, the wiki will be used as a staging area for developer documentation while the Github Pages site will be used for the final production ready version.The text was updated successfully, but these errors were encountered: