dependabot[bot]
|
0042cc94cc
|
Bump actions/checkout from 3 to 4
Bumps [actions/checkout](https://github.com/actions/checkout) from 3 to 4.
- [Release notes](https://github.com/actions/checkout/releases)
- [Changelog](https://github.com/actions/checkout/blob/main/CHANGELOG.md)
- [Commits](https://github.com/actions/checkout/compare/v3...v4)
---
updated-dependencies:
- dependency-name: actions/checkout
dependency-type: direct:production
update-type: version-update:semver-major
...
Signed-off-by: dependabot[bot] <support@github.com>
|
2023-10-07 19:00:51 +00:00 |
Pradyun Gedam
|
450b361d21
|
Add an environment containing the secret token
This ensures that we only expose the token to this one job on `main`.
|
2023-01-01 11:07:34 +00:00 |
|
Pradyun Gedam
|
5427bc56b5
|
Fix the dependencies as installed for the RTD update script
This ensures that it is updated correctly.
|
2022-12-31 21:02:45 +00:00 |
|
Pradyun Gedam
|
8328135d93
|
Add GitHub action for RTD redirect updates
This makes it possible for pip's documentation's redirects to be
automatically synchronised with the `main` branch.
|
2022-12-30 02:57:24 +00:00 |