Do not run CI when pushing tags (#2635)

Prevent duplicate CI runs when pushing tags.

Author: oddhack

.github/workflows/CI.yml

@@ -8,8 +8,14 @@ name: CI
 
 # Controls when the action will run.
 on:
-  # Triggers the workflow on push or manual dispatch
+  # Triggers the workflow on push or manual dispatch, but not on tags.
+  # This is so there are not duplicate CI runs when the periodic
+  # specification updates are tagged.
   push:
+    branches:
+      - '*'
+    tags-ignore:
+      - '*'
   # Allows you to run this workflow manually from the Actions tab
   workflow_dispatch:
   # When a pull request is opened from a local branch or fork