Branches

Search

Branch	Updated	Check status	BehindAhead	Pull request	Action menu
master Copy branch name to clipboard	github-merge-queue Sep 7, 2025				Delete branchBranch menu
fix-clippy-format-lint Copy branch name to clipboard	May 12, 2025				Delete branchBranch menu
ci-remove-bors Copy branch name to clipboard	Nov 7, 2024				Delete branchBranch menu
auto Copy branch name to clipboard	Oct 8, 2024				Delete branchBranch menu
try Copy branch name to clipboard	Apr 18, 2021				Delete branchBranch menu
tmp-libc Copy branch name to clipboard	Aug 10, 2018				Delete branchBranch menu
tmp-lazy_static Copy branch name to clipboard	Aug 1, 2018				Delete branchBranch menu
tmp-edition Copy branch name to clipboard	Aug 1, 2018				Delete branchBranch menu