diff --git a/.github/workflows/documentation.yml b/.github/workflows/documentation.yml index 400722f792190a..9352fb81e2c5fb 100644 --- a/.github/workflows/documentation.yml +++ b/.github/workflows/documentation.yml @@ -1,3 +1,4 @@ +name: documentation on: push: branches: @@ -11,7 +12,6 @@ on: - 'docs/**' - 'resources/**' - 'tools/**' -name: documentation jobs: build-and-publish: runs-on: ubuntu-18.04 diff --git a/.github/workflows/manifest.yml b/.github/workflows/manifest.yml index 8e81c1088ea660..555b9d6c2903c1 100644 --- a/.github/workflows/manifest.yml +++ b/.github/workflows/manifest.yml @@ -1,3 +1,4 @@ +name: manifest on: push: branches: @@ -5,7 +6,6 @@ on: pull_request: paths: - 'tools/**' -name: manifest jobs: build-and-tag: runs-on: ubuntu-18.04