Branches

Search

Branch	Updated	Check status	BehindAhead	Pull request	Action menu
master Copy branch name to clipboard	May 5, 2025				Delete branchBranch menu
wip/travis2 Copy branch name to clipboard	Feb 5, 2019				Delete branchBranch menu
wip/appveyor Copy branch name to clipboard	Feb 17, 2018				Delete branchBranch menu
pr/issue-196 Copy branch name to clipboard	Jan 1, 2018				Delete branchBranch menu
wip/ghc821 Copy branch name to clipboard	May 15, 2017				Delete branchBranch menu
wip/travis Copy branch name to clipboard	Jan 24, 2017				Delete branchBranch menu
verification-ignore-md5s Copy branch name to clipboard	Jul 29, 2016				Delete branchBranch menu
fix-corrupt-local-00index Copy branch name to clipboard	Apr 19, 2016				Delete branchBranch menu