Don't allow concurrent publish actions.

If two commits gets pushed in quick succession, and the first takes much longer to publish (for some reason), said build can be considered "latest". This just happened and it broke the servers.
2021-12-20 16:05:30 +01:00 · 2021-12-20 16:05:30 +01:00 · b42412903b
parent 97e47178d7
commit b42412903b
1 changed files with 3 additions and 0 deletions
--- a/.github/workflows/publish.yml
+++ b/.github/workflows/publish.yml
@ -1,5 +1,8 @@
 name: Publish

+concurrency:
+  group: publish
+
 on:
  push:
    branches: [ master ]