Merge remote-tracking branch 'origin/main' into Nauty

DanielBrosch · Nov 7, 2024 · 0f60ad8 · 0f60ad8
2 parents b0d6407 + 8b09cb9
commit 0f60ad8
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/.github/workflows/format-pr.yml b/.github/workflows/format-pr.yml
@@ -16,7 +16,7 @@ jobs:
       # https://github.com/peter-evans/create-pull-request#reference-example
       - name: Create Pull Request
         id: cpr
-        uses: peter-evans/create-pull-request@v6
+        uses: peter-evans/create-pull-request@v7
         with:
           token: ${{ secrets.GITHUB_TOKEN }}
           commit-message: Format .jl files

diff --git a/Project.toml b/Project.toml
@@ -16,7 +16,7 @@ ProgressMeter = "92933f4c-e287-5a05-a399-4b506db050ca"
 SparseArrays = "2f01184e-e22b-5df5-ae63-d93ebab69eaf"
 
 [compat]
-AbstractAlgebra = "0.31, 0.32, 0.33, 0.34, 0.35, 0.36, 0.37, 0.38, 0.39, 0.40, 0.41"
+AbstractAlgebra = "0.31, 0.32, 0.33, 0.34, 0.35, 0.36, 0.37, 0.38, 0.39, 0.40, 0.41, 0.42, 0.43"
 Combinatorics = "1"
 DataStructures = "0.18"
 DocStringExtensions = "0.9"