Skip to content

docs/gh pages for documentation#342

Closed
edouard-lopez wants to merge 5 commits intomasterfrom
docs/gh-pages-for-documentation
Closed

docs/gh pages for documentation#342
edouard-lopez wants to merge 5 commits intomasterfrom
docs/gh-pages-for-documentation

Conversation

@edouard-lopez
Copy link
Member

@edouard-lopez edouard-lopez commented Jan 19, 2024

  • docs: basic mkdocs workflow
  • docs: continue migration
  • setup github action to publish on push to master

Dev Usage

❯ make build-pure-doc serve-pure-doc 

Preview

https://pure-fish.github.io/pure/

image

@edouard-lopez edouard-lopez added the 🚀 enhancement performance, UX or maintainability label Jan 19, 2024
@edouard-lopez edouard-lopez force-pushed the docs/gh-pages-for-documentation branch 7 times, most recently from 0273319 to cea3c0a Compare January 19, 2024 22:47
@edouard-lopez edouard-lopez force-pushed the docs/gh-pages-for-documentation branch from cea3c0a to 9cea545 Compare January 19, 2024 22:55
edouard-lopez added a commit that referenced this pull request Jan 20, 2024
@edouard-lopez
Copy link
Member Author

superseded by #343

edouard-lopez added a commit that referenced this pull request Jan 23, 2024
edouard-lopez added a commit that referenced this pull request Jan 25, 2024
edouard-lopez added a commit that referenced this pull request Jan 25, 2024
@edouard-lopez edouard-lopez deleted the docs/gh-pages-for-documentation branch February 16, 2024 19:13
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

🚀 enhancement performance, UX or maintainability

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant