From eaa9fc551cefbe4317db8ba9f3f4fec8e770f62a Mon Sep 17 00:00:00 2001
From: deathaxe <deathaxe82@googlemail.com>
Date: Sat, 18 May 2024 10:34:22 +0200
Subject: [PATCH] CI: Avoid duplicate tests on pull requests

Seems testing on "push" events is enough.
Before this commit, pushing and opening a PR
caused the same commit to be tested twice.
---
 .github/workflows/ci.yml | 11 ++++++++++-
 1 file changed, 10 insertions(+), 1 deletion(-)

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index a0e383e9..2d4df1d3 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -1,6 +1,15 @@
 name: CI
 
-on: [push, pull_request]
+on:
+  push:
+    branches:
+      - '**'
+    tags-ignore:
+      - '**'
+    paths:
+      - '.github/workflows/ci.yml'
+      - 'package_control/**/*.py'
+  workflow_dispatch:
 
 jobs:
   test-all: