8000 Branches · agda/agda-categories · 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
JacquesCarette Jun 13, 2025

Active branches

BranchUpdatedCheck status
BehindAhead
Pull requestAction menu
gh-pages
github-actions[bot] Jun 13, 2025
fix-ci-hopefully
JacquesCarette Jun 12, 2025
CartesianMC
JacquesCarette Jun 12, 2025
MoreBaseChanges
Taneb Jun 9, 2025
0