Closed charleskawczynski closed 4 years ago
Do I need to add the
DOCUMENTER_KEY
?
Yes
Presumably we can run our tests on GHA as well so should we nuke the Travis pipeline as part of this PR?
I think so, but I think it could leave to issues if GHA and Travis try to push to the same destination at the same time.
I think we can just close/open the PR to retrigger after adding the private and public keys to GH.
Just generated and added a new key so should be good to go. Will try closing and re-opening PR.
Docs.yml
fromCLIMAParameters
, it's configured to also be triggered with Bors (which maybe we can set up also?)Closes #18