Branches

Search

Branch	Updated	Check status	BehindAhead	Pull request	Action menu
main Copy branch name to clipboard	Jan 14, 2023				Delete branchBranch menu
gh-pages Copy branch name to clipboard	github-actions Jan 20, 2023				Delete branchBranch menu
issue_18 Copy branch name to clipboard	Jan 14, 2023				Delete branchBranch menu
paper Copy branch name to clipboard	Nov 1, 2022				Delete branchBranch menu
issue14-fix-github-url Copy branch name to clipboard	Oct 31, 2022				Delete branchBranch menu
issue15-fix-broken-tests Copy branch name to clipboard	Oct 30, 2022				Delete branchBranch menu