Branches

Search

Branch	Updated	Check status	BehindAhead	Pull request	Action menu
docs-control-flow Copy branch name to clipboard	Jun 28, 2022				Delete branchBranch menu
tc-docs-2 Copy branch name to clipboard	Oct 4, 2023				Delete branchBranch menu
scope-checking Copy branch name to clipboard	Jan 16, 2024				Delete branchBranch menu
new-decl-syntax Copy branch name to clipboard	Sep 23, 2024				Delete branchBranch menu
lower/fix-graphviz Copy branch name to clipboard	Sep 28, 2024				Delete branchBranch menu
pats-in-terms Copy branch name to clipboard	Sep 28, 2024				Delete branchBranch menu
cli-fixes Copy branch name to clipboard	Dec 7, 2024				Delete branchBranch menu
upgrade-deps Copy branch name to clipboard	Mar 24, 2025				Delete branchBranch menu
gh-pages Copy branch name to clipboard	github-actions Apr 16, 2025				Delete branchBranch menu