mirror of
https://github.com/martinvonz/jj.git
synced 2025-02-06 11:34:54 +00:00
6fec006405
The new `merge_group` event will already attach all the CI events from the various workflows where it applies. If the merge queue is drained and merges to `main`, having `push` on these workflows will cause them to be run again, doubling the number of CI checks. We don't need `push` anymore, basically. Also, because checks can be cancelled now, the current double running can probably lead to an awkward setup like: - Merge Queue merges A to main, starts `push` workflows - Merge Queue then merges B and C to main, starts `push` workflows - `A`'s workflows get cancelled if it's not yet done - This makes it look like `A` has failing tests somehow, but it doesn't Therefore, just removing the double builds is the first step to cut down on the CI times for our repo. We also run the build workflows on all pushes to NOT main, because that will help people who want to run CI before opening an actual PR. Signed-off-by: Austin Seipp <aseipp@pobox.com>
24 lines
636 B
YAML
24 lines
636 B
YAML
name: Codespell
|
|
|
|
on:
|
|
pull_request:
|
|
merge_group:
|
|
|
|
concurrency:
|
|
group: ${{ github.workflow }}-${{ github.event.pull_request.number || github.ref }}
|
|
cancel-in-progress: ${{ github.ref != 'refs/heads/main' }}
|
|
|
|
permissions: read-all
|
|
|
|
jobs:
|
|
codespell:
|
|
name: Codespell
|
|
runs-on: ubuntu-24.04
|
|
steps:
|
|
- uses: actions/checkout@11bd71901bbe5b1630ceea73d27597364c9af683
|
|
- uses: codespell-project/actions-codespell@406322ec52dd7b488e48c1c4b82e2a8b3a1bf630
|
|
with:
|
|
check_filenames: true
|
|
check_hidden: true
|
|
skip: ./target,./.jj,*.lock
|
|
ignore_words_list: crate,NotIn,Wirth
|