Merge pull request #15492 from dotty-staging/run-builds-on-tags

Kordyjan · web-flow · commit 75d8eea1e943 · 2022-06-21T07:37:03.000-07:00
Run the CI on tag-pushes
diff --git a/.github/workflows/ci.yaml b/.github/workflows/ci.yaml
@@ -4,6 +4,8 @@ on:
   push:
     branches-ignore:
       - 'language-reference-stable'
+    tags:
+      - '**'
   pull_request:
     branches-ignore:
       - 'language-reference-stable'
