diff options
author | Ross Barnowski <rossbar@berkeley.edu> | 2020-10-01 17:12:39 -0500 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-10-01 15:12:39 -0700 |
commit | 359aa427a5efef54fcdc4537578fbc7eb58f0bc6 (patch) | |
tree | 616d89640872e21000731652280683f1235a1650 /.circleci | |
parent | b3364edc635ace480154f460d57b0603b20924b8 (diff) | |
download | networkx-359aa427a5efef54fcdc4537578fbc7eb58f0bc6.tar.gz |
CI: update circleci doc deployment. (#4230)
* Try removing manual known_hosts addendum
* Update fingerprint config
Diffstat (limited to '.circleci')
-rw-r--r-- | .circleci/config.yml | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/.circleci/config.yml b/.circleci/config.yml index c7d32b79..e76a5449 100644 --- a/.circleci/config.yml +++ b/.circleci/config.yml @@ -68,14 +68,12 @@ jobs: - add_ssh_keys: fingerprints: - - "e5:04:e6:c4:d6:c3:34:b9:02:e6:9f:25:1c:01:9e:e9" + - "1b:00:c0:c1:a9:6b:85:81:cb:99:52:1b:75:43:eb:fb" - run: name: upload_devdocs command: | set -e - mkdir ~/.ssh - echo "github.com ssh-rsa AAAAB3NzaC1yc2EAAAABIwAAAQEAq2A7hRGmdnm9tUDbO9IDSwBK6TbQa+PXYPCPy6rbTrTtw7PHkccKrpp0yVhp5HdEIcKr6pLlVDBfOLX9QUsyCOV0wzfjIJNlGEYsdlLJizHhbn2mUjvSAHQqZETYP81eFzLQNnPHt4EVVUh7VfDESU84KezmD5QlWpXLmvU31/yMf+Se8xhHTvKSCZIFImWwoG6mbUoWf9nzpIoaSjB+weqqUUmpaaasXVal72J+UX2B+2RPW3RcT0eOzQgqlJL3RKrTJvdsjE3JEAvGq3lGHSZXy28G3skua2SmVi/w4yCE6gbODqnTWlg7+wC604ydGXA8VJiS5ap43JXiUFFAaQ==" >> ~/.ssh/known_hosts git clone git@github.com:networkx/documentation.git cd documentation rm -rf latest |