Branches

Search

Branch	Updated	Check status	BehindAhead	Pull request	Action menu
main Copy branch name to clipboard	Feb 3, 2025				Delete branchBranch menu
tweak-indentation Copy branch name to clipboard	Aug 8, 2023				Delete branchBranch menu
subject_or_function_end-with-underscore Copy branch name to clipboard	Jun 26, 2023				Delete branchBranch menu
numeric-symbols-are-letters Copy branch name to clipboard	Jun 10, 2023				Delete branchBranch menu
github-action Copy branch name to clipboard	Jun 3, 2023				Delete branchBranch menu
dim-values Copy branch name to clipboard	May 31, 2023				Delete branchBranch menu
modifier-precedence Copy branch name to clipboard	May 29, 2023				Delete branchBranch menu
guarded-expr Copy branch name to clipboard	May 27, 2023				Delete branchBranch menu
phase5 Copy branch name to clipboard	May 23, 2023				Delete branchBranch menu
phase4 Copy branch name to clipboard	May 21, 2023				Delete branchBranch menu
phase3 Copy branch name to clipboard	May 20, 2023				Delete branchBranch menu
eliminate-lhs Copy branch name to clipboard	May 20, 2023				Delete branchBranch menu
explosion Copy branch name to clipboard	May 19, 2023				Delete branchBranch menu
phase2 Copy branch name to clipboard	May 19, 2023				Delete branchBranch menu
onlySubExpr Copy branch name to clipboard	May 19, 2023				Delete branchBranch menu
merged-grammar Copy branch name to clipboard	May 17, 2023				Delete branchBranch menu