8000 Branches · agda/agda · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content

Branches

Default

BranchUpdatedCheck status
BehindAhead
Pull requestAction menu
master
plt-amy May 15, 2025

Active branches

BranchUpdatedCheck status
BehindAhead
Pull requestAction menu
gh-pages
github-actions[bot] May 15, 2025
aliao/new-record-where
plt-amy May 14, 2025
release-2.8.0-candidate
andreasabel May 10, 2025
release-2.8.0
andreasabel May 10, 2025
release-2.8.0-base
andreasabel May 10, 2025
View more branches
0