• Show log

    Commit

  • Hash : 51f6f15d
    Author : Edward Thomson
    Date : 2021-11-09T09:03:06

    ci: only update docs on push Only update the documentation on a `push`. We were previously updating the documentation only when not in a `pull_request`, which meant that we would push documentation updates in manual build triggers.