Skip to content

Commit be74d70

Browse files
Merge branch 'stable-5.5'
2 parents aff84e3 + ef859e7 commit be74d70

File tree

10 files changed

+41
-39
lines changed

10 files changed

+41
-39
lines changed

.github/workflows/clang-format-check.yml

Lines changed: 8 additions & 8 deletions
Original file line numberDiff line numberDiff line change
@@ -8,17 +8,17 @@ on:
88
- "stable-*.*"
99
schedule:
1010
# Every day at 3:10 AM UTC
11-
- cron: '10 3 * * *'
11+
- cron: "10 3 * * *"
1212

1313
jobs:
1414
formatting-check:
1515
name: Formatting check
1616
runs-on: ubuntu-latest
1717
steps:
18-
- uses: actions/checkout@v5
19-
- name: "Run clang-format style checks on src/*.[hc]pp . . ."
20-
uses: jidicula/clang-format-action@v4.15.0
21-
with:
22-
clang-format-version: '15'
23-
exclude-regex: 'src\/_pkgconfig.h*'
24-
check-path: 'src'
18+
- uses: actions/checkout@v6
19+
- name: "Run clang-format style checks on src/*.[hc]pp . . ."
20+
uses: jidicula/clang-format-action@v4.16.0
21+
with:
22+
clang-format-version: "15"
23+
exclude-regex: 'src\/_pkgconfig.h*'
24+
check-path: "src"

.github/workflows/codespell.yml

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -10,5 +10,5 @@ jobs:
1010
codespell:
1111
runs-on: ubuntu-latest
1212
steps:
13-
- uses: actions/checkout@v5
14-
- uses: codespell-project/actions-codespell@v2.1
13+
- uses: actions/checkout@v6
14+
- uses: codespell-project/actions-codespell@v2.2

.github/workflows/config-options.yml

Lines changed: 6 additions & 7 deletions
Original file line numberDiff line numberDiff line change
@@ -11,10 +11,9 @@ on:
1111
- cron: '15 4 * * *'
1212

1313
concurrency:
14-
# Group by workflow and ref; the last component ensures that for pull
15-
# requests, we limit to one concurrent job, but for the default branch we
16-
# don't
17-
group: ${{ github.workflow }}-${{ github.ref }}-${{ (github.ref != github.event.repository.default_branch && !startsWith(github.ref, 'refs/heads/stable-')) || github.run_number }}
14+
# Group by workflow and ref; the last component ensures that for pull requests
15+
# we limit to one concurrent job, but for the main/stable branches we don't
16+
group: ${{ github.workflow }}-${{ github.ref }}-${{ (github.ref != 'refs/heads/main' && !startsWith(github.ref, 'refs/heads/stable-')) || github.run_number }}
1817
# Only cancel intermediate pull request builds
1918
cancel-in-progress: ${{ startsWith(github.ref, 'refs/pull/') }}
2019

@@ -23,7 +22,7 @@ jobs:
2322
name: "Enable debug"
2423
runs-on: "ubuntu-latest"
2524
steps:
26-
- uses: actions/checkout@v5
25+
- uses: actions/checkout@v6
2726
- name: "Setup ccache"
2827
uses: Chocobo1/setup-ccache-action@v1
2928
with:
@@ -47,7 +46,7 @@ jobs:
4746
name: "Enable HPCombi"
4847
runs-on: "ubuntu-latest"
4948
steps:
50-
- uses: actions/checkout@v5
49+
- uses: actions/checkout@v6
5150
# Don't use ccache, since sometimes this fails when using -mavx
5251
- name: "Install GAP"
5352
uses: gap-actions/setup-gap@v3
@@ -80,7 +79,7 @@ jobs:
8079
run:
8180
shell: bash -l {0}
8281
steps:
83-
- uses: actions/checkout@v5
82+
- uses: actions/checkout@v6
8483
- name: "Install conda environment from environment.yml . . ."
8584
uses: mamba-org/setup-micromamba@v2
8685
with:

.github/workflows/extended.yml

Lines changed: 4 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -12,9 +12,9 @@ on:
1212
- cron: 30 2 * * *
1313

1414
concurrency:
15-
# Group by workflow and ref; the last component ensures that for pull
16-
# requests, we limit to one concurrent job, but for the main branch we don't
17-
group: ${{ github.workflow }}-${{ github.ref }}-${{ github.ref != 'refs/heads/main' || github.run_number }}
15+
# Group by workflow and ref; the last component ensures that for pull requests
16+
# we limit to one concurrent job, but for the main/stable branches we don't
17+
group: ${{ github.workflow }}-${{ github.ref }}-${{ (github.ref != 'refs/heads/main' && !startsWith(github.ref, 'refs/heads/stable-')) || github.run_number }}
1818
# Only cancel intermediate pull request builds
1919
cancel-in-progress: ${{ startsWith(github.ref, 'refs/pull/') }}
2020

@@ -39,7 +39,7 @@ jobs:
3939
ABI: 64
4040

4141
steps:
42-
- uses: actions/checkout@v5
42+
- uses: actions/checkout@v6
4343
- name: "Install macOS dependencies"
4444
if: ${{ runner.os == 'macOS' }}
4545
run: brew install automake libtool

.github/workflows/lint.yml

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -21,7 +21,7 @@ jobs:
2121
- gaplint
2222
- cpplint
2323
steps:
24-
- uses: actions/checkout@v5
24+
- uses: actions/checkout@v6
2525
- uses: actions/setup-python@v6
2626
- name: "Install ${{ matrix.linter }} with pip . . ."
2727
run: sudo pip install ${{ matrix.linter }}

.github/workflows/manual.yml

Lines changed: 5 additions & 5 deletions
Original file line numberDiff line numberDiff line change
@@ -11,9 +11,9 @@ on:
1111
- cron: '33 3 * * *'
1212

1313
concurrency:
14-
# Group by workflow and ref; the last component ensures that for pull
15-
# requests, we limit to one concurrent job, but for the main branch we don't
16-
group: ${{ github.workflow }}-${{ github.ref }}-${{ github.ref != 'refs/heads/main' || github.run_number }}
14+
# Group by workflow and ref; the last component ensures that for pull requests
15+
# we limit to one concurrent job, but for the main/stable branches we don't
16+
group: ${{ github.workflow }}-${{ github.ref }}-${{ (github.ref != 'refs/heads/main' && !startsWith(github.ref, 'refs/heads/stable-')) || github.run_number }}
1717
# Only cancel intermediate pull request builds
1818
cancel-in-progress: ${{ startsWith(github.ref, 'refs/pull/') }}
1919

@@ -22,7 +22,7 @@ jobs:
2222
name: "compile and upload manual"
2323
runs-on: ubuntu-latest
2424
steps:
25-
- uses: actions/checkout@v5
25+
- uses: actions/checkout@v6
2626
- name: "Install TeX Live"
2727
run: |
2828
packages=(
@@ -38,7 +38,7 @@ jobs:
3838
- uses: gap-actions/setup-gap@v3
3939
- uses: gap-actions/build-pkg-docs@v2
4040
- name: "Upload compiled manuals"
41-
uses: actions/upload-artifact@v4
41+
uses: actions/upload-artifact@v5
4242
with:
4343
name: "Semigroups manual"
4444
retention-days: 7

.github/workflows/release-pkg.yml

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -22,7 +22,7 @@ jobs:
2222
runs-on: ubuntu-latest
2323

2424
steps:
25-
- uses: actions/checkout@v5
25+
- uses: actions/checkout@v6
2626
- uses: gap-actions/setup-gap@v3
2727
with:
2828
gap-version: latest

.github/workflows/standard.yml

Lines changed: 7 additions & 7 deletions
Original file line numberDiff line numberDiff line change
@@ -11,9 +11,9 @@ on:
1111
- cron: '15 3 * * *'
1212

1313
concurrency:
14-
# Group by workflow and ref; the last component ensures that for pull
15-
# requests, we limit to one concurrent job, but for the main branch we don't
16-
group: ${{ github.workflow }}-${{ github.ref }}-${{ github.ref != 'refs/heads/main' || github.run_number }}
14+
# Group by workflow and ref; the last component ensures that for pull requests
15+
# we limit to one concurrent job, but for the main/stable branches we don't
16+
group: ${{ github.workflow }}-${{ github.ref }}-${{ (github.ref != 'refs/heads/main' && !startsWith(github.ref, 'refs/heads/stable-')) || github.run_number }}
1717
# Only cancel intermediate pull request builds
1818
cancel-in-progress: ${{ startsWith(github.ref, 'refs/pull/') }}
1919

@@ -35,7 +35,7 @@ jobs:
3535
- v4.12
3636

3737
steps:
38-
- uses: actions/checkout@v5
38+
- uses: actions/checkout@v6
3939
- name: "Install macOS dependencies"
4040
if: ${{ runner.os == 'macOS' }}
4141
run: brew install automake libtool
@@ -76,7 +76,7 @@ jobs:
7676
- uses: codecov/codecov-action@v5
7777
with:
7878
token: ${{ secrets.CODECOV_TOKEN }}
79-
fail_ci_if_error: true
79+
fail_ci_if_error: ${{ runner.os != 'Windows' }}
8080
- name: "Run GAP's tst/testinstall.g"
8181
uses: gap-actions/run-pkg-tests@v4
8282
with:
@@ -88,7 +88,7 @@ jobs:
8888
env:
8989
CHERE_INVOKING: 1
9090
steps:
91-
- uses: actions/checkout@v5
91+
- uses: actions/checkout@v6
9292
- name: "Setup cygwin"
9393
uses: gap-actions/setup-cygwin@v2
9494
- name: "Install GAP"
@@ -109,4 +109,4 @@ jobs:
109109
- uses: codecov/codecov-action@v5
110110
with:
111111
token: ${{ secrets.CODECOV_TOKEN }}
112-
fail_ci_if_error: true
112+
fail_ci_if_error: false

.github/workflows/workspaces.yml

Lines changed: 6 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -15,8 +15,11 @@ on:
1515
- cron: '15 3 * * *'
1616

1717
concurrency:
18-
group: ${{ github.workflow }}-${{ github.ref }}
19-
cancel-in-progress: true
18+
# Group by workflow and ref; the last component ensures that for pull requests
19+
# we limit to one concurrent job, but for the main/stable branches we don't
20+
group: ${{ github.workflow }}-${{ github.ref }}-${{ (github.ref != 'refs/heads/main' && !startsWith(github.ref, 'refs/heads/stable-')) || github.run_number }}
21+
# Only cancel intermediate pull request builds
22+
cancel-in-progress: ${{ startsWith(github.ref, 'refs/pull/') }}
2023

2124
jobs:
2225
workspaces:
@@ -32,7 +35,7 @@ jobs:
3235
steps:
3336
- name: "Checkout the Semigroups GAP package"
3437

35-
uses: actions/checkout@v5
38+
uses: actions/checkout@v6
3639
- name: "Install git + autotools"
3740
run: |
3841
sudo apt-get --yes update

CHANGELOG.md

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -22,7 +22,7 @@ version of GAP.
2222

2323
## Version 5.5.1 (released 19/06/2025)
2424

25-
This release containing one fix:
25+
This is a release containing one fix:
2626

2727
* Fix `TikzString` for bipartitions by @james-d-mitchell in
2828
https://github.com/semigroups/Semigroups/pull/1060

0 commit comments

Comments
 (0)