[actions] Trigger website build targetting initial version of the spec.

springcomp · springcomp · commit e9ef307383d1 · 2022-04-28T09:51:52.000+02:00
diff --git a/.github/workflows/update_website.yaml b/.github/workflows/update_website.yaml
@@ -1,7 +1,9 @@
 name: Trigger website update
 on:
   push:
-    tags: "v*"
+    tags: 
+      - v*
+      - 2015-09-05-9e8d0e3
 jobs:
   dispatch:
     runs-on: ubuntu-latest
