Skip to content

chore: update the name of the secret used in github action#42

Merged
jeremnaf merged 1 commit intomainfrom
Chore/UpdateSecretName
Apr 7, 2026
Merged

chore: update the name of the secret used in github action#42
jeremnaf merged 1 commit intomainfrom
Chore/UpdateSecretName

Conversation

@jeremnaf
Copy link
Copy Markdown
Contributor

@jeremnaf jeremnaf commented Apr 7, 2026

Just rename the secret accordingly to the ADR.
I made a manual test and it works well

@jeremnaf jeremnaf merged commit ab60f59 into main Apr 7, 2026
1 check passed
@jeremnaf jeremnaf deleted the Chore/UpdateSecretName branch April 7, 2026 15:31
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.

2 participants