File tree Expand file tree Collapse file tree
Expand file tree Collapse file tree Original file line number Diff line number Diff line change 11name : codespell
22on : [pull_request]
3+ permissions :
4+ contents : read
35jobs :
46 codespell :
57 runs-on : ubuntu-latest
68 steps :
7- - uses : actions/checkout@v6
8- - uses : codespell-project/actions-codespell@v2.2
9+ - uses : actions/checkout@v6
10+ - uses : codespell-project/actions-codespell@v2.2
Original file line number Diff line number Diff line change 11name : Config options
22on : [pull_request, workflow_dispatch]
3+ permissions :
4+ contents : read
35
46concurrency :
57 group : ${{ github.workflow }}-${{ github.ref }}
Original file line number Diff line number Diff line change 1111 required : false
1212 type : string
1313 default : libsemigroups/libsemigroups
14+ permissions :
15+ contents : read
1416
1517concurrency :
1618 group : ${{ github.workflow }}-${{ github.ref }}
Original file line number Diff line number Diff line change 11name : Check documentation builds
22on : [pull_request, workflow_dispatch]
3+ permissions :
4+ contents : read
35
46concurrency :
57 group : ${{ github.workflow }}-${{ github.ref }}
Original file line number Diff line number Diff line change 11name : Lint
22on : [pull_request, workflow_dispatch]
3+ permissions :
4+ contents : read
35
46concurrency :
57 group : ${{ github.workflow }}-${{ github.ref }}
Original file line number Diff line number Diff line change 11name : Run tests (pip)
22on : [pull_request, workflow_dispatch]
3+ permissions :
4+ contents : read
35
46concurrency :
57 group : ${{ github.workflow }}-${{ github.ref }}
Original file line number Diff line number Diff line change 55 branches :
66 - " stable-*"
77 - " rc-*"
8+ permissions :
9+ contents : read
810
911concurrency :
1012 group : ${{ github.workflow }}-${{ github.ref }}
Original file line number Diff line number Diff line change 11name : Run tests (GitHub libsemigroups)
22on : [pull_request, workflow_dispatch]
3+ permissions :
4+ contents : read
35
46concurrency :
57 group : ${{ github.workflow }}-${{ github.ref }}
Original file line number Diff line number Diff line change 1010 pull_request :
1111 paths :
1212 - .github/workflows/wheels.yml
13+ permissions :
14+ contents : read
1315
1416concurrency :
1517 group : ${{ github.workflow }}-${{ github.ref }}
You can’t perform that action at this time.
0 commit comments