Branches

Search

Branch	Updated	Check status	BehindAhead	Pull request	Action menu
utensil/chisolm-cleanup-backup Copy branch name to clipboard	Jul 14, 2020				Delete branchBranch menu
utensil/chisolm-cleanup Copy branch name to clipboard	Jul 14, 2020				Delete branchBranch menu
utensil/new_design Copy branch name to clipboard	Jul 31, 2020				Delete branchBranch menu
eric-wieser/lean-ci Copy branch name to clipboard	Nov 9, 2020				Delete branchBranch menu
eric-wieser/doc-ci Copy branch name to clipboard	Nov 19, 2020				Delete branchBranch menu
eric-wieser/test-docgen-103 Copy branch name to clipboard	Nov 30, 2020				Delete branchBranch menu
eric-wieser/try-fix-docgen Copy branch name to clipboard	Mar 4, 2021				Delete branchBranch menu
mathlib-defs Copy branch name to clipboard	Mar 4, 2021				Delete branchBranch menu
translation-cleanup Copy branch name to clipboard	Mar 10, 2021				Delete branchBranch menu
mathlib-bump Copy branch name to clipboard	Jun 21, 2021				Delete branchBranch menu
for_mathlib Copy branch name to clipboard	Jun 29, 2021				Delete branchBranch menu
quaternion Copy branch name to clipboard	Jun 29, 2021				Delete branchBranch menu
upstream-complex-lift Copy branch name to clipboard	Jul 1, 2021				Delete branchBranch menu
remove-noncomputable Copy branch name to clipboard	Jul 8, 2021				Delete branchBranch menu
lean-3.31.0 Copy branch name to clipboard	github-actions Aug 18, 2021				Delete branchBranch menu
lean-3.32.1 Copy branch name to clipboard	github-actions Sep 29, 2021				Delete branchBranch menu
lean-3.33.0 Copy branch name to clipboard	github-actions Nov 1, 2021				Delete branchBranch menu
lean-3.34.0 Copy branch name to clipboard	github-actions Nov 1, 2021				Delete branchBranch menu
lean-3.35.0 Copy branch name to clipboard	github-actions Dec 15, 2021				Delete branchBranch menu
lean-3.35.1 Copy branch name to clipboard	github-actions Dec 16, 2021				Delete branchBranch menu