Taimoor ZaeemandWolfgang Walther
330df05891
The `commitlint` script disrupts our release workflow if failed on push event. We also don't need it on push because once pushed, git commit history can't be amended.
54 lines
1.8 KiB
YAML
54 lines
1.8 KiB
YAML
name: Check
|
|
|
|
on:
|
|
workflow_call:
|
|
secrets:
|
|
CACHIX_AUTH_TOKEN:
|
|
required: false
|
|
pull_request:
|
|
branches:
|
|
- main
|
|
- v[0-9]+
|
|
|
|
concurrency:
|
|
# Terminate all previous runs of the same workflow for pull requests
|
|
group: style-${{ github.head_ref || github.run_id }}
|
|
cancel-in-progress: true
|
|
|
|
jobs:
|
|
lint-style:
|
|
name: Lint & Style
|
|
runs-on: ubuntu-24.04
|
|
steps:
|
|
- uses: actions/checkout@11bd71901bbe5b1630ceea73d27597364c9af683 # v4.2.2
|
|
- name: Setup Nix Environment
|
|
uses: ./.github/actions/setup-nix
|
|
with:
|
|
authToken: '${{ secrets.CACHIX_AUTH_TOKEN }}'
|
|
tools: style.lint.bin style.styleCheck.bin
|
|
- name: Run linter (check locally with `nix-shell --run postgrest-lint`)
|
|
run: postgrest-lint
|
|
- name: Run style check (auto-format with `nix-shell --run postgrest-style`)
|
|
run: postgrest-style-check
|
|
|
|
commit:
|
|
if: github.event_name != 'push' # we don't run this on a push, a failure on push disrupts the release workflow
|
|
name: Commit
|
|
runs-on: ubuntu-24.04
|
|
steps:
|
|
- uses: actions/checkout@11bd71901bbe5b1630ceea73d27597364c9af683 # v4.2.2
|
|
with:
|
|
fetch-depth: 100 # fetch history (last 100 commits) instead of default shallow clone history, this is deemed enough for a PR history
|
|
- name: Setup Nix Environment
|
|
uses: ./.github/actions/setup-nix
|
|
with:
|
|
authToken: '${{ secrets.CACHIX_AUTH_TOKEN }}'
|
|
tools: gitTools.commitCheck.bin
|
|
- name: Run commitlint (check locally with `nix-shell --run postgrest-commitlint`)
|
|
run: |
|
|
# Fetch target branch explicitly
|
|
git fetch origin ${{ github.base_ref }}
|
|
|
|
# Run commitlint
|
|
postgrest-commitlint --from origin/${{ github.base_ref }} --to HEAD
|