Prevent the rare documentation generation failure (#62312)

Limit to one documentation generation job at a time.
This commit is contained in:
Jordan Brown
2021-10-28 18:58:08 -03:00
committed by GitHub
parent f5ed021ac1
commit a042e1a1ae
@@ -7,6 +7,7 @@ jobs:
generate_documentation:
if: "!contains(github.event.head_commit.message, '[ci skip]')"
runs-on: ubuntu-20.04
concurrency: gen-docs
steps:
- uses: actions/checkout@v2
- name: Setup cache