feat(server): allow to refresh generated artifacts on demand#1598

krzema12 merged 1 commit intomaintypesafegithub/github-workflows-kt:mainfrom

vampire/refresh-artifactstypesafegithub/github-workflows-kt:vampire/refresh-artifactsCopy head branch name to clipboard