From: infogulch <infogulch@gmail.com>
Date: Sat, 24 Jun 2023 18:05:57 +0000 (-0500)
Subject: Fix tags trigger
X-Git-Tag: v0.9.2~118^2~1
X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=c05afb470523a76cbfce62b575074eb705ca4cdf;p=scryer-prolog.git

Fix tags trigger
---

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index 87a3331b..f79952bd 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -1,12 +1,14 @@
 name: CI
+
 on:
   push:
     branches: [master]
+    tags:
+      - "v**"
   pull_request:
   schedule:
     - cron: '0 0 * * 3' # At 12:00 AM, only on Wednesday
-  label:
-    types: [created, edited]
+  workflow_dispatch:
 
 jobs:
   build-test: