1. 26 Jan, 2019 1 commit
    • ci: run docurium to create documentation · ace20c6a
      Run docurium as part of the build.  The goal of this is to be able to
      evaluate the documentation in a given pull request; as such, this does
      not implement any sort of deployment pipeline.
      
      This will allow us to download a snapshot of the documentation from the
      CI build and evaluate the docs for a particular pull request; before
      it's been merged.
      Edward Thomson committed
  2. 25 Jan, 2019 13 commits
  3. 24 Jan, 2019 4 commits
  4. 22 Jan, 2019 8 commits
  5. 20 Jan, 2019 14 commits