Branches

Search

Branch	Updated	Check status	BehindAhead	Pull request	Action menu
dev-monadic Copy branch name to clipboard	Feb 5, 2018				Delete branchBranch menu
stabilize-build Copy branch name to clipboard	Jun 14, 2018				Delete branchBranch menu
0.6.0-dev Copy branch name to clipboard	Feb 21, 2019				Delete branchBranch menu
feature/implicits Copy branch name to clipboard	Mar 7, 2019				Delete branchBranch menu
feature/time Copy branch name to clipboard	Apr 16, 2019				Delete branchBranch menu
v0.6-dev Copy branch name to clipboard	Feb 10, 2020				Delete branchBranch menu
dev-ev Copy branch name to clipboard	Aug 24, 2020				Delete branchBranch menu
v1-master Copy branch name to clipboard	Aug 24, 2020				Delete branchBranch menu
feature/cc Copy branch name to clipboard	Nov 7, 2020				Delete branchBranch menu
artifact/evins Copy branch name to clipboard	May 18, 2021				Delete branchBranch menu
artifact/scut Copy branch name to clipboard	May 18, 2021				Delete branchBranch menu
artifact/binl Copy branch name to clipboard	May 18, 2021				Delete branchBranch menu
feature/repline Copy branch name to clipboard	Aug 21, 2021				Delete branchBranch menu
feature/simplify Copy branch name to clipboard	Aug 23, 2021				Delete branchBranch menu
fixtests Copy branch name to clipboard	Sep 5, 2021				Delete branchBranch menu
feature/thread Copy branch name to clipboard	Sep 6, 2021				Delete branchBranch menu
feature/close Copy branch name to clipboard	Sep 21, 2021				Delete branchBranch menu
feature/nonshared Copy branch name to clipboard	Oct 10, 2021				Delete branchBranch menu
feature/specialize-debug Copy branch name to clipboard	Nov 16, 2021				Delete branchBranch menu
feature/borrow Copy branch name to clipboard	Nov 26, 2021				Delete branchBranch menu