rename docker pipelines

They had the same name
knaw-huc · Oct 2, 2024 · 40f4273 · 40f4273
1 parent 4d1e447
commit 40f4273
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/.github/workflows/docker-loader.yml b/.github/workflows/docker-loader.yml
@@ -1,5 +1,5 @@
 #
-name: Create and publish a Docker image
+name: Create and publish Loader image
 
 # Configures this workflow to run every time a change is pushed to the branch called `release`.
 on:

diff --git a/.github/workflows/docker.yml b/.github/workflows/docker.yml
@@ -1,5 +1,5 @@
 #
-name: Create and publish a Docker image
+name: Create and publish Skosmos image
 
 # Configures this workflow to run every time a change is pushed to the branch called `release`.
 on: