2023-04-11 21:45:44 +02:00
|
|
|
name: EditorConfig Checker
|
|
|
|
|
|
|
|
on:
|
2024-01-31 03:38:07 +01:00
|
|
|
workflow_dispatch: # allows manual triggering
|
|
|
|
inputs:
|
|
|
|
create_release:
|
|
|
|
description: 'Create new release'
|
|
|
|
required: true
|
|
|
|
type: boolean
|
2023-04-11 21:45:44 +02:00
|
|
|
push:
|
|
|
|
branches:
|
|
|
|
- master
|
|
|
|
pull_request:
|
|
|
|
branches:
|
|
|
|
- master
|
|
|
|
|
2024-03-22 18:15:06 +01:00
|
|
|
concurrency:
|
2024-04-04 18:30:53 +02:00
|
|
|
group: ${{ github.workflow }}-${{ github.head_ref && github.ref || github.run_id }}
|
2024-03-22 18:15:06 +01:00
|
|
|
cancel-in-progress: true
|
|
|
|
|
2023-04-11 21:45:44 +02:00
|
|
|
jobs:
|
|
|
|
editorconfig:
|
|
|
|
runs-on: ubuntu-latest
|
|
|
|
steps:
|
2024-04-03 20:01:13 +02:00
|
|
|
- uses: actions/checkout@v4
|
2023-04-11 21:45:44 +02:00
|
|
|
- uses: editorconfig-checker/action-editorconfig-checker@main
|
|
|
|
- run: editorconfig-checker
|