Bump dev-docs pages actions (#11418)

# Objective

- `actions/upload-pages-artifact` and `actions/deploy-pages` are
outdated.
- Alternative to #11253 and #11252.

## Solution

- Bump the version of both actions.

---


There appear to be no user-facing changes. They just both need to be
updated together. (The `actions: read` permission was a bug that was
fixed later.)
This commit is contained in:
BD103 2024-01-20 04:27:00 -05:00 committed by GitHub
parent 63eb151619
commit 11e43860d8
No known key found for this signature in database
GPG key ID: B5690EEEBB952194

View file

@ -61,10 +61,10 @@ jobs:
echo "User-Agent: *\nDisallow: /" > target/doc/robots.txt
- name: Upload site artifact
uses: actions/upload-pages-artifact@v1
uses: actions/upload-pages-artifact@v3
with:
path: target/doc
- name: Deploy to Github Pages
id: deployment
uses: actions/deploy-pages@v2
uses: actions/deploy-pages@v4