Skip to content
Merged
Show file tree
Hide file tree
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension


Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
9 changes: 3 additions & 6 deletions .github/workflows/schema-check.yml
Original file line number Diff line number Diff line change
Expand Up @@ -17,18 +17,15 @@ jobs:
- name: echo first commit
run: |
echo ${{ github.event.before }}
# - name: get changed files
# id: getfile
# run: |
# echo "files=$(git diff --no-commit-id --name-only -r ${{ github.sha }} | xargs)" >> $GITHUB_OUTPUT
# elif [ ${{ github.event.before }} == '0000000000000000000000000000000000000000' ]; then
# echo "files=$(git diff-tree --no-commit-id --name-only -r ${{ github.sha }} | xargs)" >> $GITHUB_OUTPUT

- name: get changed files
id: getfile
run: |
if [ $GITHUB_BASE_REF ]; then
git fetch origin $GITHUB_BASE_REF --depth=1
echo "files=$(git diff --name-only origin/$GITHUB_BASE_REF ${{ github.sha }} | xargs)" >> $GITHUB_OUTPUT
elif [ ${{ github.event.before }} == '0000000000000000000000000000000000000000' ]; then
echo "files=$(git diff-tree --no-commit-id --name-only -r ${{ github.sha }} | xargs)" >> $GITHUB_OUTPUT
else
git fetch origin ${{ github.event.before }} --depth=1
echo "files=$(git diff --name-only ${{ github.event.before }} ${{ github.sha }} | xargs)" >> $GITHUB_OUTPUT
Expand Down
1 change: 0 additions & 1 deletion .schema.yml
Original file line number Diff line number Diff line change
Expand Up @@ -51,7 +51,6 @@ properties:
- asia
- oceania
legal_body_type:
type: object
enum:
- natural
- juridicial
Expand Down
3 changes: 2 additions & 1 deletion servers/test.com.yaml
Original file line number Diff line number Diff line change
Expand Up @@ -6,5 +6,6 @@ categories:
- games
languages:
- latin
region: asia
- english
region: europe
legal_body_type: natural
Loading