From 8ce3e4fd5766921871a7ad62ee7f398440baeb59 Mon Sep 17 00:00:00 2001 From: James McLaughlin Date: Mon, 22 Nov 2021 11:23:25 +0000 Subject: [PATCH] Update pull-config-dev.yaml --- .github/workflows/pull-config-dev.yaml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/pull-config-dev.yaml b/.github/workflows/pull-config-dev.yaml index 3330fa1..82b5b47 100644 --- 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: