ci: Block changes to crowdin-generated files (#3427)

* ci: Add workflow to block crowdin changes

* Add a change which should not block the PR (will be reverted later)

* Repair broken workflows

* Add a change which should stop the PR

* Revert "Add a change which should not block the PR (will be reverted later)"

This reverts commit eafb5eaed1c2ec4909282990d51b7eb4d7a91fdc.

* Revert "Add a change which should stop the PR"

This reverts commit bfe6e7a39d5559dd6f58fd8cff854ed53948fb40.
This commit is contained in:
Kevin Song 2022-01-21 10:26:13 -06:00 committed by GitHub
parent a84a3af002
commit 19cf0a9e80
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 13 additions and 1 deletions

View File

@ -14,4 +14,16 @@ jobs:
- name: Setup | Checkout
uses: actions/checkout@v2.4.0
- name: Docs | Format
uses: dprint/check@v2.0
uses: dprint/check@v2.0
# If this is not a Crowdin PR, block changes to translated documentation
block-crowdin:
name: Block Translated Changes
runs-on: ubuntu-latest
steps:
- name: Prevent File Change
uses: xalvarez/prevent-file-change-action@v1.2.0
if: ${{ env.GITHUB_HEAD_REF != 'i18n_master' }}
with:
githubToken: ${{ secrets.GITHUB_TOKEN }}
pattern: docs/[a-z][a-z][a-z]?-[A-Z][A-Z]?/.*