Skip to content

Merge branch 'master' into dev/noname_377 #3892

Merge branch 'master' into dev/noname_377

Merge branch 'master' into dev/noname_377 #3892

name: lint-datapack
on:
push:
pull_request:
workflow_dispatch:
concurrency:
group: ${{ github.workflow }}-${{ github.ref }}-${{ github.event_name }}
cancel-in-progress: true
jobs:
lint:
name: lint
runs-on: ubuntu-latest
steps:
- name: Checkout
uses: actions/checkout@v3
with:
fetch-depth: 0
- name: Test
uses: ChenCMD/datapack-linter@v2
with:
GITHUB_TOKEN: ${{ github.token }}
muteSuccessResult: true
ignoreLintPathPattern: |
animated_java:**