Branches

Search

Branch	Updated	Check status	BehindAhead	Pull request	Action menu
main Copy branch name to clipboard	Dec 16, 2025				Delete branchBranch menu
fix-docsrs Copy branch name to clipboard	Dec 16, 2025				Delete branchBranch menu
simplify-global-scip Copy branch name to clipboard	Nov 20, 2025				Delete branchBranch menu
update-bundled924 Copy branch name to clipboard	Nov 20, 2025				Delete branchBranch menu
static Copy branch name to clipboard	Oct 7, 2025				Delete branchBranch menu
linux-arm Copy branch name to clipboard	Aug 26, 2025				Delete branchBranch menu
fix-macos-bundled Copy branch name to clipboard	Feb 8, 2025				Delete branchBranch menu
bundled-debug Copy branch name to clipboard	Feb 8, 2025				Delete branchBranch menu
update-0.7.0 Copy branch name to clipboard	Feb 7, 2025				Delete branchBranch menu
update-scip Copy branch name to clipboard	Dec 30, 2024				Delete branchBranch menu
static-from-source Copy branch name to clipboard	Oct 30, 2024				Delete branchBranch menu
emit-libdir Copy branch name to clipboard	Mar 31, 2024				Delete branchBranch menu
from-source Copy branch name to clipboard	Mar 30, 2024				Delete branchBranch menu
add-arm-runner Copy branch name to clipboard	Mar 15, 2024				Delete branchBranch menu
update-used-link Copy branch name to clipboard	Mar 15, 2024				Delete branchBranch menu
binaries Copy branch name to clipboard	Mar 15, 2024				Delete branchBranch menu
use-github-links Copy branch name to clipboard	Mar 13, 2024				Delete branchBranch menu
mmghannam-patch-1 Copy branch name to clipboard	Mar 10, 2024				Delete branchBranch menu
general-os-detection Copy branch name to clipboard	Mar 10, 2024				Delete branchBranch menu
bundled-test-ci Copy branch name to clipboard	Mar 10, 2024				Delete branchBranch menu