Add name to mirror workflow

Signed-off-by: Raul Sanchez-Mateos <[email protected]>
eProsima · Nov 5, 2024 · 75cc82c · 75cc82c
1 parent 86b2bbe
commit 75cc82c
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 3 deletions.
diff --git a/.github/workflows/mirror.yml b/.github/workflows/mirror.yml
@@ -1,5 +1,6 @@
 
-# .github/workflows/mirror.yml
+name: mirror
+
 on:
   push:
     branches:

diff --git a/docs/resources/scripts/linux_source_installation.bash b/docs/resources/scripts/linux_source_installation.bash
@@ -69,8 +69,6 @@ sudo apt update && sudo apt install -y \
     python3-rosdep \
     python3-setuptools \
     python3-vcstool \
-    libqt5websockets5-dev \
-    libqt5x11extras5-dev \
     wget
 ##!
 
@@ -128,6 +126,8 @@ sudo apt update && sudo apt install -y \
     qtbase5-dev \
     qtdeclarative5-dev \
     qtquickcontrols2-5-dev \
+    libqt5websockets5-dev \
+    libqt5x11extras5-dev \
     swig4.1
 ##!