Branches

Search

Default

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

Active branches

Branch	Updated	Check status	BehindAhead	Pull request	Action menu
update-dependencies Copy branch name to clipboard	Feb 17, 2026				Delete branchBranch menu
bump-dependencies Copy branch name to clipboard	Feb 17, 2026				Delete branchBranch menu
semantics-coverage-tool Copy branch name to clipboard	Jan 23, 2026				Delete branchBranch menu
coq/tested Copy branch name to clipboard	github-actions Dec 4, 2025				Delete branchBranch menu
rwmutex-proof-actualmax-2³¹-1 Copy branch name to clipboard	Dec 2, 2025				Delete branchBranch menu

View more branches