Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Add document site using sbt-microsites #142

Closed
kevin-lee opened this issue Jan 8, 2020 · 0 comments · Fixed by #147
Closed

Add document site using sbt-microsites #142

kevin-lee opened this issue Jan 8, 2020 · 0 comments · Fixed by #147
Assignees
@kevin-lee
Labels
task
Milestone
milestone13

Comments

@kevin-lee
Copy link
Owner

Task

Summary

Add document site using sbt-microsites

Project Details

Version: 1.3.5
@kevin-lee kevin-lee added the task label Jan 8, 2020
@kevin-lee kevin-lee added this to the milestone13 milestone Jan 8, 2020
@kevin-lee kevin-lee self-assigned this Jan 8, 2020
kevin-lee added a commit that referenced this issue Jan 9, 2020
@kevin-lee
Task #142 - Add document site using sbt-microsites
39c6435 
* Added: sbt-microsites
* Added: settings for sbt-microsites
* Added: microsite menu config and intro page markdown file.
kevin-lee added a commit that referenced this issue Jan 9, 2020
@kevin-lee
Task #142 - Add document site using sbt-microsites
45c51a0 
* Added: doc for Either
kevin-lee added a commit that referenced this issue Jan 9, 2020
@kevin-lee
Task #142 - Add document site using sbt-microsites
a22fcaa 
* Added: doc for Option
kevin-lee added a commit that referenced this issue Jan 9, 2020
@kevin-lee
Task #142 - Add document site using sbt-microsites
a0ce340 
* Added: doc for Type-safe Equal
kevin-lee added a commit that referenced this issue Jan 9, 2020
@kevin-lee
Task #142 - Add document site using sbt-microsites
ea6a0f7 
* Restructured docs
kevin-lee added a commit that referenced this issue Jan 9, 2020
@kevin-lee
Task #142 - Add document site using sbt-microsites
654a3a5 
* Added: Semi-Group
kevin-lee added a commit that referenced this issue Jan 9, 2020
@kevin-lee
Task #142 - Add document site using sbt-microsites
effbd39 
* Added: Monoid
kevin-lee added a commit that referenced this issue Jan 9, 2020
@kevin-lee
fixup! Task #142 - Add document site using sbt-microsites
2963223 
* Restructured docs
kevin-lee added a commit that referenced this issue Jan 9, 2020
@kevin-lee
Task #142 - Add document site using sbt-microsites
90c9d2c 
* Added: The rest doc files which will be written later
kevin-lee added a commit that referenced this issue Jan 9, 2020
@kevin-lee
Task #142 - Add document site using sbt-microsites
10c2b52 
* Added: GitHub Actions to publish microsite to GitHub Pages
kevin-lee added a commit that referenced this issue Jan 9, 2020
@kevin-lee
Task #142 - Add document site using sbt-microsites
28dc614 
* Restructured docs
kevin-lee added a commit that referenced this issue Jan 9, 2020
@kevin-lee
Task #142 - Add document site using sbt-microsites
757765c 
* Added: Semi-Group
kevin-lee added a commit that referenced this issue Jan 9, 2020
@kevin-lee
Task #142 - Add document site using sbt-microsites
cb88c17 
* Added: Monoid
kevin-lee added a commit that referenced this issue Jan 9, 2020
@kevin-lee
Task #142 - Add document site using sbt-microsites
7bc4007 
* Added: The rest doc files which will be written later
kevin-lee added a commit that referenced this issue Jan 9, 2020
@kevin-lee
Task #142 - Add document site using sbt-microsites
8338df5 
* Added: GitHub Actions to publish microsite to GitHub Pages
@kevin-lee kevin-lee mentioned this issue Jan 9, 2020
Merged
kevin-lee added a commit that referenced this issue Jan 9, 2020
@kevin-lee
Task #142 - Add document site using sbt-microsites
aaa9e57 
* publish to GitHub Pages when pushing to publish-docs
@kevin-lee kevin-lee mentioned this issue Jan 9, 2020
Merged
kevin-lee added a commit that referenced this issue Jan 9, 2020
@kevin-lee
Merge pull request #146 from Kevin-Lee/task/142/docs-publish-setup
4577c30 
Task #142 - Add document site using sbt-microsites
kevin-lee added a commit that referenced this issue Jan 10, 2020
@kevin-lee
Close #142 - Add document site using sbt-microsites
2b467c8 
* Updated: README.md and index for the homepage
@kevin-lee kevin-lee mentioned this issue Jan 10, 2020
Merged
kevin-lee added a commit that referenced this issue Jan 10, 2020
@kevin-lee
Merge pull request #147 from Kevin-Lee/task/142/docs
0a27c18 
Close #142 - Add document site using sbt-microsites
This was referenced Apr 17, 2021
Merged
Merged
Merged
Merged
@kevin-lee kevin-lee mentioned this issue Apr 17, 2021
Merged
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@kevin-lee kevin-lee

Labels
task
Projects
None yet
Milestone
milestone13
Development

Successfully merging a pull request may close this issue.

Close #142 - Add document site using sbt-microsites kevin-lee/just-fp
1 participant
@kevin-lee