chore: Renames docs job and runs on shared runner #5398
+2
−2
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
High Level Overview of Change
Renames the docs job from
job
todocumentation
for better readability, and makes it run on the shared runner.Context of Change
We were pulling our Docker images from DockerHub without logging in, causing us to run into rate limits. To solve this, the images were pushed to our GitHub registry, but the documentation pipeline cannot access them as it runs on the GitHub runner instead of our own runner. This change makes the pipeline run on our shared runner.
As the documentation job name
job
is meaningless, this PR renames it todocumentation
.Type of Change
.gitignore
, formatting, dropping support for older tooling)