Skip to content

Fix the names of deployment env secrets for SSH deploy keys#300

Merged
ethanjli merged 1 commit intomasterfrom
hotfix/docs-ssh-deploy-keys
Dec 1, 2023
Merged

Fix the names of deployment env secrets for SSH deploy keys#300
ethanjli merged 1 commit intomasterfrom
hotfix/docs-ssh-deploy-keys

Conversation

@ethanjli
Copy link
Collaborator

@ethanjli ethanjli commented Dec 1, 2023

This PR attempts to fix some errors in the GitHub Actions workflow files which had slipped through in #298 and #299.

@ethanjli ethanjli merged commit 265fb78 into master Dec 1, 2023
@ethanjli ethanjli deleted the hotfix/docs-ssh-deploy-keys branch December 1, 2023 06:13
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant