rustic/.github/workflows/lint-docs.yml
simonsan e704a6c42b
ci: break old ci jobs when new commits are pushed so we don't fill up the queue
If new code is pushed to a PR branch, then cancel in progress workflows for that PR. Ensures that we don't waste CI time, and returns results quicker.

Signed-off-by: simonsan <14062932+simonsan@users.noreply.github.com>
2024-02-18 00:10:17 +01:00

34 lines
712 B
YAML

name: Lint Markdown / Toml
on:
pull_request:
push:
branches: [main]
merge_group:
types: [checks_requested]
concurrency:
group: ${{ github.workflow }}-${{ github.head_ref || github.run_id }}
cancel-in-progress: true
jobs:
style:
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@b4ffde65f46336ab88eb53be808477a3936bae11 # v4
- uses: dprint/check@2f1cf31537886c3bfb05591c031f7744e48ba8a1 # v2.2
result:
name: Result (Style)
runs-on: ubuntu-latest
needs:
- style
steps:
- name: Mark the job as successful
run: exit 0
if: success()
- name: Mark the job as unsuccessful
run: exit 1
if: "!success()"