Skip to content

Fix: [CI] service-name is called "wiki-prod" for the production wiki#23

Merged
TrueBrain merged 1 commit intomainfrom update-workflowJun 13, 2023

Commits

Commits on Jun 13, 2023