Branches

Search

Branch	Updated	Check status	BehindAhead	Pull request	Action menu
main Copy branch name to clipboard	Oct 24, 2025				Delete branchBranch menu
refactor/declarative-column-nodes Copy branch name to clipboard	Oct 26, 2025				Delete branchBranch menu
refactor/rename-identifier Copy branch name to clipboard	Oct 25, 2025				Delete branchBranch menu
refactor/identifier-types Copy branch name to clipboard	Oct 25, 2025				Delete branchBranch menu
refactor/remove-custom Copy branch name to clipboard	Oct 25, 2025				Delete branchBranch menu
refactor/grant-parser Copy branch name to clipboard	Oct 24, 2025				Delete branchBranch menu
refactor/revoke_parser Copy branch name to clipboard	Oct 24, 2025				Delete branchBranch menu
gh-pages Copy branch name to clipboard	github-actions Oct 24, 2025				Delete branchBranch menu
chore/new-domain Copy branch name to clipboard	Oct 24, 2025				Delete branchBranch menu
chore/new-binary-name Copy branch name to clipboard	Oct 24, 2025				Delete branchBranch menu
chore/toolchain-and-unify-publish Copy branch name to clipboard	Oct 24, 2025				Delete branchBranch menu
feat/eugene-rules Copy branch name to clipboard	Oct 20, 2025				Delete branchBranch menu
feat/pretty-print-try-2 Copy branch name to clipboard	Oct 20, 2025				Delete branchBranch menu
chore/dual-publish Copy branch name to clipboard	Oct 19, 2025				Delete branchBranch menu
feat/hover-types Copy branch name to clipboard	Oct 19, 2025				Delete branchBranch menu
feat/support-both Copy branch name to clipboard	Oct 19, 2025				Delete branchBranch menu
chore/both-config-files Copy branch name to clipboard	Oct 18, 2025				Delete branchBranch menu
fix/eof-handling Copy branch name to clipboard	Oct 17, 2025				Delete branchBranch menu
feat/improved-type-msgs Copy branch name to clipboard	Oct 15, 2025				Delete branchBranch menu
fix/param-hover Copy branch name to clipboard	Oct 13, 2025				Delete branchBranch menu