From ab311310d9571d4acf95aed0af3a5e46f18d7dd7 Mon Sep 17 00:00:00 2001
From: Riccardo Fiorani Gallotta <167587220+rfiorani@users.noreply.github.com>
Date: Thu, 9 Jul 2026 19:58:25 +0200
Subject: [PATCH] Update GitLab CI workflow triggers

Removed push event trigger from GitLab CI workflow.
---
 .github/workflows/gitlab-ci.yml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/.github/workflows/gitlab-ci.yml b/.github/workflows/gitlab-ci.yml
index 2d0b461..f4fdb09 100644
--- a/.github/workflows/gitlab-ci.yml
+++ b/.github/workflows/gitlab-ci.yml
@@ -1,6 +1,6 @@
 name: gitlab-ci
 
-on: [ push, pull_request, workflow_dispatch ]
+on: [ pull_request, workflow_dispatch ]
 
 jobs:
   gitlab-ci:
@@ -13,4 +13,4 @@ jobs:
         with:
           domain: compute.eees.dei.unibo.it:8929
           repo: rfiorani/test-ci-runner
-          token: ${{ secrets.GITLAB_TOKEN }}
\ No newline at end of file
+          token: ${{ secrets.GITLAB_TOKEN }}