From 57d2ee9360558eee3752528853a7bda27d3ffbea Mon Sep 17 00:00:00 2001
From: Gerasimos Chourdakis <chourdak@in.tum.de>
Date: Wed, 13 Mar 2024 09:22:14 +0100
Subject: [PATCH] Rename workflow

---
 .github/workflows/{run-tests-on-pr.yaml => system-tests.yaml} | 0
 1 file changed, 0 insertions(+), 0 deletions(-)
 rename .github/workflows/{run-tests-on-pr.yaml => system-tests.yaml} (100%)

diff --git a/.github/workflows/run-tests-on-pr.yaml b/.github/workflows/system-tests.yaml
similarity index 100%
rename from .github/workflows/run-tests-on-pr.yaml
rename to .github/workflows/system-tests.yaml