Trigger CI with tags

Author: Matthias Koeppe

.github/workflows/ci-cygwin.yml

@@ -3,6 +3,9 @@ name: windows-latest
 on:
   pull_request:
     types: [opened, synchronize]
+  push:
+    tags:
+      - '*'
 
 env:
   MAKE: make -j8

.github/workflows/tox-optional.yml

@@ -20,6 +20,9 @@ name: Run SAGE_ROOT/tox.ini TARGETS_OPTIONAL
 on:
   pull_request:
     types: [opened, synchronize]
+  push:
+    tags:
+      - '*'
 
 env:
   TARGETS_PRE: build/make/Makefile

.github/workflows/tox.yml

@@ -20,6 +20,9 @@ name: Run SAGE_ROOT/tox.ini
 on:
   pull_request:
     types: [opened, synchronize]
+  push:
+    tags:
+      - '*'
 
 env:
   TARGETS_PRE: sagelib-build-deps