From 2daf0e89d5c0c819ed5087ef2a94b2fae3073527 Mon Sep 17 00:00:00 2001
From: Ulrich Mohr <mohr@irs.uni-stuttgart.de>
Date: Wed, 18 Dec 2024 22:29:05 +0100
Subject: [PATCH] pull

---
 .gitea/workflows/pull.yaml | 11 +++++++++++
 1 file changed, 11 insertions(+)
 create mode 100644 .gitea/workflows/pull.yaml

diff --git a/.gitea/workflows/pull.yaml b/.gitea/workflows/pull.yaml
new file mode 100644
index 0000000..a323b06
--- /dev/null
+++ b/.gitea/workflows/pull.yaml
@@ -0,0 +1,11 @@
+name: ROMEO Pull
+on: 
+  pull_request:
+
+jobs:
+  Build_Code:
+    runs-on: romeo_runner
+    steps:
+      - name: Build linux
+        run: |
+          echo ${{ env.GITHUB_SHA }}