Skip to content

chore(metrics): github page doc #284

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

Merged
merged 26 commits into from
Dec 12, 2021
Merged

chore(metrics): github page doc #284

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
26 commits
Select commit Hold shift + click to select a range
9d1ce2e
Add github workflow to develop branch
ijemmy Dec 7, 2021
d85cdca
Use Github action to push doc into a separated branch (gh-pages)
ijemmy Dec 7, 2021
72dbe98
Trigger action when workflow is changed (for testing)
ijemmy Dec 7, 2021
cef86f5
Fix typo in the path to trigger workflow
ijemmy Dec 7, 2021
4137be6
Remove -it option when building the doc as it isn't supported in Gith…
ijemmy Dec 7, 2021
ca237cb
Make the VERSION and ALIAS param for mike explicit
ijemmy Dec 7, 2021
7d4343c
Build new image before building doc
ijemmy Dec 7, 2021
7f616a5
Use pip instead of poetry
ijemmy Dec 7, 2021
8a8356d
Fix path typo
ijemmy Dec 7, 2021
b74433c
change image name to be different from a global one
ijemmy Dec 7, 2021
044e242
change workflow fileanme to be consistent
ijemmy Dec 7, 2021
08f8735
Build directly instead of going through npm
ijemmy Dec 7, 2021
bb17014
Freeze tag name
ijemmy Dec 7, 2021
633eb15
debug
ijemmy Dec 7, 2021
65d797d
Switch to use build action
ijemmy Dec 7, 2021
b1324fd
remove build line
ijemmy Dec 7, 2021
44079b7
Use mkdocs + mike directly
ijemmy Dec 7, 2021
0d3c15d
Remove unused 404 step
ijemmy Dec 7, 2021
ddf8ec9
Auto publish docs in the main branch to version develop
ijemmy Dec 7, 2021
47cffb2
Change branch to main
ijemmy Dec 7, 2021
b2603eb
Remove debug statement
ijemmy Dec 7, 2021
0cefadd
Merge changes from main to resolve conflict
ijemmy Dec 7, 2021
1e1dc93
chore(metrics): github page doc
Dec 9, 2021
d73ddb5
Merge branch 'main' into metrics/doc
flochaz Dec 9, 2021
9c06ad9
chore(metrics): fix doc comments
Dec 12, 2021
2e92ff5
chore(docs): fix local tab view (https://github.com/squidfunk/mkdocs-…
Dec 12, 2021
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
Loading