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: