Skip to content

Branches

Default

BranchUpdatedCheck status
BehindAhead
Pull requestAction menu
master
adacore-bot Jul 6, 2026

Active branches

BranchUpdatedCheck status
BehindAhead
Pull requestAction menu
edge
adacore-bot Jul 7, 2026
26-sustained
adacore-bot Jun 12, 2026
26.2
adacore-bot Jun 1, 2026