Skip to content

Activity

Merge remote branch 'origin/main' into edge

adacore-botpushed 3 commits to edge • 45b953a…3433fc4 • 
17 days ago

Merge branch 'topic/auto-import-unit' into 'main'

adacore-botpushed 2 commits to main • f7d8f40…ab2b538 • 
17 days ago

Merge branch 'mr/pmderodat/25.1-9b-30' into '25.1'

adacore-botcreated 25.2 • 060fb47 • 
18 days ago

Merge remote branch 'origin/main' into edge

adacore-botpushed 7 commits to edge • 9319a32…45b953a • 
on Jan 9

Merge branch 'topic/unary_parens' into 'main'

adacore-botpushed 2 commits to main • 3a8a548…f7d8f40 • 
on Jan 8

Merge branch 'mr/pmderodat/25.1-9b-30' into '25.1'

adacore-botpushed 2 commits to 25.1 • a942dcb…060fb47 • 
on Nov 28, 2024

Merge branch 'mr/pmderodat/25.1-8-1457' into '25.1'

adacore-botpushed 2 commits to 25.1 • b953ce1…a942dcb • 
on Nov 28, 2024

Merge branch 'topic/bump' into 'main'

adacore-botpushed 4 commits to main • d2d0297…3a8a548 • 
on Nov 25, 2024

Merge remote branch 'origin/main' into edge

adacore-botpushed 3 commits to edge • a4eec43…9319a32 • 
on Oct 29, 2024

Merge branch 'issue_29_test' into 'edge'

adacore-botpushed 2 commits to edge • fa6c47f…a4eec43 • 
on Oct 28, 2024

Merge branch '25.1_issue_27' into '25.1'

adacore-botpushed 3 commits to 25.1 • d7d8643…b953ce1 • 
on Oct 28, 2024

Merge branch 'topic/#29' into 'main'

adacore-botpushed 2 commits to main • f31ba56…d2d0297 • 
on Oct 28, 2024

Merge branch 'issue_30' into 'edge'

adacore-botpushed 2 commits to edge • 2ab4472…fa6c47f • 
on Oct 25, 2024

Merge remote branch 'origin/main' into edge

adacore-botpushed 3 commits to edge • 020418b…2ab4472 • 
on Oct 25, 2024

Merge branch 'issue_27' into 'main'

adacore-botpushed 2 commits to main • 20507ac…f31ba56 • 
on Oct 24, 2024

Merge remote branch 'origin/main' into edge

adacore-botpushed 9 commits to edge • ed6e2eb…020418b • 
on Oct 24, 2024

Merge branch 'cherry-pick-20507ace' into '25.1'

adacore-botpushed 2 commits to 25.1 • 635edce…d7d8643 • 
on Oct 23, 2024

Merge branch 'als-issue_1355' into 'main'

adacore-botpushed 4 commits to main • 635edce…20507ac • 
on Oct 23, 2024

Merge branch 'topic/bump_edge_master' into 'main'

adacore-botcreated 25.1 • 635edce • 
on Oct 17, 2024

Merge branch 'mr/pmderodat/edge' into 'edge'

adacore-botpushed 2 commits to edge • 87ccbb7…ed6e2eb • 
on Oct 14, 2024

Merge branch 'topic/bump_edge_master' into 'main'

adacore-botcreated 25.0 • 635edce • 
on Oct 14, 2024

Merge branch 'topic/bump_edge_master' into 'main'

adacore-botpushed 4 commits to main • e0db909…635edce • 
on Sep 24, 2024

Merge branch 'issue_26' into 'edge'

adacore-botpushed 2 commits to edge • 7795f14…87ccbb7 • 
on Sep 20, 2024

Merge branch 'mr/pmderodat/edge' into 'edge'

adacore-botpushed 3 commits to edge • 9a09c7f…7795f14 • 
on Sep 16, 2024

Merge branch 'topic/24.1' into '24.1'

adacore-botcreated 24-sustained • 6499760 • 
on Sep 12, 2024

Merge remote branch 'origin/main' into edge

adacore-botpushed 3 commits to edge • 41b0272…9a09c7f • 
on Jun 13, 2024

Merge branch 'topic/gcc_13' into 'main'

adacore-botpushed 2 commits to main • 1b8ec83…e0db909 • 
on Jun 12, 2024

Merge remote branch 'origin/main' into edge

adacore-botpushed 11 commits to edge • 9c440ff…41b0272 • 
on Jun 5, 2024

Merge branch 'topic/sort_deps_range' into 'main'

adacore-botpushed 10 commits to main • 550a412…1b8ec83 • 
on Jun 4, 2024

Merge remote branch 'origin/main' into edge

adacore-botpushed 3 commits to edge • 153f060…9c440ff • 
on May 22, 2024