Updates SSH configuration for the job. I also generated a new key with write permissions and added it to the CircleCI project.
Updates CI badges.
Fixes bugs in gh_pages_docs.ex.
Introduces a new way of publishing the "latest" documentation. Now the mix project version between releases is set with the suffix -dev. This way we treat it very similarly to the releases while having consistent drop-down list with versions at our documentation site.
I ran the new job on the branch to ensure that it succeeds. They can be viewed here for the release 2.1.1 and here for the latest master.
Generated documentation is available here.
This PR:
gh_pages_docs.ex.-dev. This way we treat it very similarly to the releases while having consistent drop-down list with versions at our documentation site.I ran the new job on the branch to ensure that it succeeds. They can be viewed here for the release
2.1.1and here for the latest master. Generated documentation is available here.