Branches

Search

Branch	Updated	Check status	BehindAhead	Pull request	Action menu
fix-parallel-make Copy branch name to clipboard	Jun 29, 2021				Delete branchBranch menu
block_tag_and_size Copy branch name to clipboard	Jul 1, 2021				Delete branchBranch menu
self-join-fix Copy branch name to clipboard	Aug 19, 2021				Delete branchBranch menu
meet-result Copy branch name to clipboard	Aug 20, 2021				Delete branchBranch menu
foreign-equations Copy branch name to clipboard	Sep 3, 2021				Delete branchBranch menu
deduplicate-lifted-constants Copy branch name to clipboard	Sep 17, 2021				Delete branchBranch menu
params-and-body-free-names Copy branch name to clipboard	Sep 20, 2021				Delete branchBranch menu
symbol-groups-experimental Copy branch name to clipboard	Oct 1, 2021				Delete branchBranch menu
fix-dune-root Copy branch name to clipboard	Oct 8, 2021				Delete branchBranch menu
approx+typing_env Copy branch name to clipboard	Oct 11, 2021				Delete branchBranch menu
printing_with_conditional_freshening Copy branch name to clipboard	Oct 13, 2021				Delete branchBranch menu
used-closure-vars-free-names Copy branch name to clipboard	Oct 22, 2021				Delete branchBranch menu
approx+typing_env_rebased Copy branch name to clipboard	Oct 22, 2021				Delete branchBranch menu
join-types-precompute-domain Copy branch name to clipboard	Oct 25, 2021				Delete branchBranch menu
fix-code-id-join Copy branch name to clipboard	Nov 2, 2021				Delete branchBranch menu
fix-closure-var-removal-in-types Copy branch name to clipboard	Nov 5, 2021				Delete branchBranch menu
deduplicate-inlining Copy branch name to clipboard	Nov 10, 2021				Delete branchBranch menu
row-like-meet-other Copy branch name to clipboard	Nov 12, 2021				Delete branchBranch menu
switch-unused-exn-bucket Copy branch name to clipboard	Nov 16, 2021				Delete branchBranch menu
keep-specialisable-code Copy branch name to clipboard	Dec 1, 2021				Delete branchBranch menu