From 19a5163395e7a26efacb9b167e7823086f272dc4 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Jo=C3=A3o=20Pereira?= <joaopereira.19@gmail.com>
Date: Thu, 2 Apr 2026 13:35:14 +0200
Subject: [PATCH] Update gobra.yml

---
 .github/workflows/gobra.yml | 1 +
 1 file changed, 1 insertion(+)

diff --git a/.github/workflows/gobra.yml b/.github/workflows/gobra.yml
index f228507c6..7fbb003b3 100644
--- a/.github/workflows/gobra.yml
+++ b/.github/workflows/gobra.yml
@@ -12,6 +12,7 @@ on:
     - master
   pull_request: # run this workflow on every pull_request
 
+
 env:
   headerOnly: 1
   module: 'github.com/scionproto/scion'