From 1f4174edd5993c06c689e1726375176238ee47c0 Mon Sep 17 00:00:00 2001
From: Jose Luis Rivero <jrivero@osrfoundation.org>
Date: Wed, 13 Dec 2023 18:02:03 +0100
Subject: [PATCH] Rename the file

Signed-off-by: Jose Luis Rivero <jrivero@osrfoundation.org>
---
 .github/workflows/{ci.yaml => ci-dsl.yaml} | 0
 1 file changed, 0 insertions(+), 0 deletions(-)
 rename .github/workflows/{ci.yaml => ci-dsl.yaml} (100%)

diff --git a/.github/workflows/ci.yaml b/.github/workflows/ci-dsl.yaml
similarity index 100%
rename from .github/workflows/ci.yaml
rename to .github/workflows/ci-dsl.yaml