Branches

Search

Branch	Updated	Check status	BehindAhead	Pull request	Action menu
master Copy branch name to clipboard	Jun 13, 2021				Delete branchBranch menu
stabilize-build Copy branch name to clipboard	Oct 18, 2025				Delete branchBranch menu
gh-pages Copy branch name to clipboard	Oct 18, 2025				Delete branchBranch menu
feature/implicits Copy branch name to clipboard	Oct 18, 2025				Delete branchBranch menu
dev-monadic Copy branch name to clipboard	Oct 18, 2025				Delete branchBranch menu
dev Copy branch name to clipboard	Feb 20, 2019				Delete branchBranch menu