From d604d4e8b2a2f003a39cf564a6ee21c45f6633fd Mon Sep 17 00:00:00 2001
From: Julian Uszkoreit <julian.uszkoreit@rub.de>
Date: Fri, 18 Aug 2023 10:31:35 +0200
Subject: [PATCH] Rename maven.yml to maven-build.yml

---
 .github/workflows/{maven.yml => maven-build.yml} | 0
 1 file changed, 0 insertions(+), 0 deletions(-)
 rename .github/workflows/{maven.yml => maven-build.yml} (100%)

diff --git a/.github/workflows/maven.yml b/.github/workflows/maven-build.yml
similarity index 100%
rename from .github/workflows/maven.yml
rename to .github/workflows/maven-build.yml