Skip to content

ci: Rename doc-website environment#334

Merged
DaveSkender merged 2 commits intomainfrom
rename-env
Jan 3, 2024
Merged

ci: Rename doc-website environment#334
DaveSkender merged 2 commits intomainfrom
rename-env

Conversation

@DaveSkender
Copy link
Member

Renaming the documentation site environment name GitHub Action, to be more descriptive.

@DaveSkender DaveSkender enabled auto-merge (squash) January 3, 2024 01:27
@DaveSkender DaveSkender merged commit b05f4cc into main Jan 3, 2024
@DaveSkender DaveSkender deleted the rename-env branch January 3, 2024 13:04
@github-actions github-actions bot locked as resolved and limited conversation to collaborators Feb 7, 2024
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants