Skip to content

Merge branch 'develop' into pips_plus #29

Merge branch 'develop' into pips_plus

Merge branch 'develop' into pips_plus #29

Workflow file for this run

# name: EditorConfig
# on:
# pull_request:
# push:
# branches:
# - master
# - main
# - develop
# jobs:
# lint:
# runs-on: ubuntu-latest
# steps:
# - uses: actions/checkout@v2
# - uses: actions/setup-node@v2
# with:
# node-version: 18
# - run: npm install -g [email protected]
# - run: editorconfig-checker