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.

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

Fix deploying documentation #7

Open
mattBrzezinski opened this issue Mar 10, 2021 · 1 comment
Open

Fix deploying documentation #7

mattBrzezinski opened this issue Mar 10, 2021 · 1 comment
Labels
documentation Improvements or additions to documentation

Comments

@mattBrzezinski
Copy link
Member

PR #1 did not resolve this, looking at the CI job when running:

Switched to a new branch 'gh-pages'
Branch 'gh-pages' set up to track remote branch 'gh-pages' from 'upstream'.
[gh-pages 45b9221] build based on 6ea831f
 11 files changed, 15986 insertions(+)
 create mode 100644 dev/assets/documenter.js
 create mode 100644 dev/assets/invenia.css
 create mode 100644 dev/assets/search.js
 create mode 100644 dev/assets/themes/documenter-dark.css
 create mode 100644 dev/assets/themes/documenter-light.css
 create mode 100644 dev/assets/themeswap.js
 create mode 100644 dev/index.html
 create mode 100644 dev/search/index.html
 create mode 100644 dev/search_index.js
 create mode 100644 dev/siteinfo.js
Failed to add the RSA host key for IP address '140.82.112.4' to the list of known hosts (/home/runner/.ssh/known_hosts).
@mattBrzezinski mattBrzezinski added the documentation Improvements or additions to documentation label Mar 10, 2021
@mattBrzezinski
Copy link
Member Author

Also fix the README.md dev badge to point to the dev docs and not stable

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
documentation Improvements or additions to documentation
Projects
None yet
Development

No branches or pull requests

1 participant