mirror of
https://github.com/tiennm99/open-domains.git
synced 2026-10-14 04:16:28 +00:00
Merge branch 'main' into patch-8
This commit is contained in:
2 files changed
+2
-2
No files matched your search
@@ -22,6 +22,6 @@ jobs:
|
||||
path-to-document: 'https://github.com/open-domains/register/blob/main/terms.md' # e.g. a CLA or a DCO document
|
||||
# branch should not be protected
|
||||
branch: 'main'
|
||||
allowlist: od-bot
|
||||
allowlist: od-bot,bot*
|
||||
remote-organization-name: 'open-domains'
|
||||
remote-repository-name: 'cla'
|
||||
@@ -36,7 +36,7 @@ jobs:
|
||||
- uses: actions/checkout@v3
|
||||
|
||||
- name: JSON Syntax Check
|
||||
uses: limitusus/json-syntax-check@v1
|
||||
uses: limitusus/json-syntax-check@v2
|
||||
with:
|
||||
pattern: "\\.json$"
|
||||
env:
|
||||
|
||||
Reference in new issue
Block a user