Branches

Search

Default

Branch	Updated	Check status	BehindAhead	Pull request	Action menu
master Copy branch name to clipboardView rules	Feb 14, 2025		Default		Delete branchBranch menu

Active branches

Branch	Updated	Check status	BehindAhead	Pull request	Action menu
update-set-rule Copy branch name to clipboard	Mar 22, 2025				Delete branchBranch menu
feat/certora-spec Copy branch name to clipboard	Mar 20, 2025				Delete branchBranch menu
initial-implementation Copy branch name to clipboard	Mar 19, 2025				Delete branchBranch menu
sepolia-deployment Copy branch name to clipboard	Mar 14, 2025				Delete branchBranch menu
anchor-leash Copy branch name to clipboard	Feb 26, 2025				Delete branchBranch menu

View more branches