Skip to content

Comments

build/pkgs/compgit: New#1259

Merged
mkoeppe merged 1 commit intomainfrom
passagemath-pkg-CompGIT
Jul 18, 2025
Merged

build/pkgs/compgit: New#1259
mkoeppe merged 1 commit intomainfrom
passagemath-pkg-CompGIT

Conversation

@mkoeppe
Copy link
Member

@mkoeppe mkoeppe commented Jul 18, 2025

@mkoeppe mkoeppe merged commit 5281f9d into main Jul 18, 2025
8 of 9 checks passed
@mkoeppe mkoeppe deleted the passagemath-pkg-CompGIT branch July 19, 2025 20:31
@github-actions
Copy link

💚 All backports created successfully

Status Branch Result
passagemath-10.5.x

Note: Successful backport PRs will be merged automatically after passing CI.

Questions ?

Please refer to the Backport tool documentation and see the Github Action logs for details

github-actions bot added a commit that referenced this pull request Jul 19, 2025
…/pr-1259

[passagemath-10.5.x] Merge pull request #1259 from passagemath/passagemath-pkg-CompGIT
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant