Update pull-config-dev.yaml

shawntanzk · Nov 22, 2021 · 8ce3e4f · 8ce3e4f
1 parent d044f9a
commit 8ce3e4f
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/pull-config-dev.yaml b/.github/workflows/pull-config-dev.yaml
@@ -1,5 +1,5 @@
 
-name: Pull config on ontotools-preprod server
+name: Pull config on ontotools-dev server
 
 on:
   workflow_dispatch: