Merge branch 'main' into dev

This commit is contained in:
siduck 2021-12-07 13:50:39 +05:30
commit ef6c1d4c27

View File

@ -1,29 +0,0 @@
name: formatting
on:
push:
paths-ignore:
- ".github/**"
- "*.md"
branches: "**"
jobs:
stylua:
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v2
- uses: JohnnyMorganz/stylua-action@1.0.0
with:
token: ${{ secrets.GITHUB_TOKEN }}
args: --config-path=./.stylua.toml -g *.lua -g !lua/core/*.lua -g !lua/plugins/**/*.lua -g !lua/colors/*.lua -- .
- name: Commit files
run: |
git config --local user.email "41898282+github-actions[bot]@users.noreply.github.com"
git config --local user.name "github-actions[bot]"
if [[ -n $(git status -s) ]]; then
git commit --all --message "chore: format with stylua"
fi
- name: Push changes
uses: ad-m/github-push-action@master
with:
github_token: ${{ secrets.GITHUB_TOKEN }}
branch: ${{ github.ref }}