Branches

Search

Default

Branch	Updated	Check status	BehindAhead	Merge queue	Action menu
master Copy branch name to clipboard	github-merge-queue Dec 9, 2025				Delete branchBranch menu

Active branches

Branch	Updated	Check status	BehindAhead	Pull request	Action menu
test-suite Copy branch name to clipboard	Dec 10, 2025				Delete branchBranch menu
gh-pages Copy branch name to clipboard	github-actions Dec 9, 2025				Delete branchBranch menu
map-removeAt Copy branch name to clipboard	Dec 9, 2025				Delete branchBranch menu
v2.0-joss-submission Copy branch name to clipboard	Nov 27, 2025				Delete branchBranch menu
principal-ideals Copy branch name to clipboard	Nov 10, 2025				Delete branchBranch menu

View more branches