Skip to content

Commit

Permalink
MAINT: Rotate CircleCI key (#117)
Browse files Browse the repository at this point in the history
  • Loading branch information
larsoner authored Jan 9, 2023
1 parent 693ecbd commit 3901744
Show file tree
Hide file tree
Showing 2 changed files with 2 additions and 2 deletions.
2 changes: 1 addition & 1 deletion .circleci/config.yml
Original file line number Diff line number Diff line change
Expand Up @@ -190,7 +190,7 @@ jobs:
- add_ssh_keys:
fingerprints:
- "d6:88:6b:a0:80:bf:14:8e:80:2e:ed:11:52:26:37:68"
- "2d:3e:74:bc:d4:55:4f:75:dd:13:cf:59:ac:45:dc:de"

- run:
# push built docs into the `dev` directory on the `gh-pages` branch
Expand Down
2 changes: 1 addition & 1 deletion requirements_doc.txt
Original file line number Diff line number Diff line change
@@ -1,5 +1,5 @@
memory_profiler
sphinx
sphinx<6.0
sphinx-gallery
sphinx_rtd_theme
sphinx-copybutton
Expand Down

0 comments on commit 3901744

Please sign in to comment.