Skip to content

Activity

Showing most recent first

Merge branch 'topic/bump' into 'master'

adacore-botpushed 5 commits to master • 27c609a…5dc542f • 
21 hours ago

Merge branch 'cherry-pick-27c609ac' into '25.2'

adacore-botpushed 2 commits to 25.2 • cd17f35…72d898c • 
4 days ago

Merge remote branch 'origin/master' into edge

adacore-botpushed 6 commits to edge • e97d584…11c0a07 • 
5 days ago

Merge branch 'gs_414' into 'master'

adacore-botpushed 3 commits to master • a6f01b9…27c609a • 
5 days ago

Merge branch 'topic/int-ts-cpus' into 'master'

adacore-botpushed 2 commits to master • 93106b6…a6f01b9 • 
5 days ago

Merge remote branch 'origin/master' into edge

adacore-botpushed 3 commits to edge • a535a21…e97d584 • 
6 days ago

Merge branch 'topic/fix_edge' into 'master'

adacore-botpushed 2 commits to master • 810b4aa…93106b6 • 
6 days ago

Merge remote branch 'origin/master' into edge

adacore-botpushed 5 commits to edge • 91f565f…a535a21 • 
11 days ago

Merge branch 'topic/als#1593' into 'master'

adacore-botpushed 4 commits to master • c902f33…810b4aa • 
11 days ago

Merge remote branch 'origin/master' into edge

adacore-botpushed 3 commits to edge • 8099b71…91f565f • 
12 days ago

Merge branch 'gs_511' into 'master'

adacore-botpushed 2 commits to master • 261cd32…c902f33 • 
13 days ago

Merge remote branch 'origin/master' into edge

adacore-botpushed 3 commits to edge • c834510…8099b71 • 
13 days ago

Merge branch 'gs_405' into 'master'

adacore-botpushed 2 commits to master • c7df7fa…261cd32 • 
13 days ago

Merge remote branch 'origin/master' into edge

adacore-botpushed 3 commits to edge • d40a68b…c834510 • 
14 days ago

Merge branch 'topic/st_util_fix' into 'master'

adacore-botpushed 2 commits to master • 37ab95a…c7df7fa • 
14 days ago

Merge remote branch 'origin/master' into edge

adacore-botpushed 3 commits to edge • c00a396…d40a68b • 
20 days ago

Merge branch 'topic/stabilize' into 'master'

adacore-botpushed 2 commits to master • ffd4d12…37ab95a • 
20 days ago

Merge remote branch 'origin/master' into edge

adacore-botpushed 4 commits to edge • 0568d3a…c00a396 • 
21 days ago

Merge branch 'topic/stabilize' into 'master'

adacore-botpushed 3 commits to master • aef9f85…ffd4d12 • 
21 days ago

Merge remote branch 'origin/master' into edge

adacore-botpushed 7 commits to edge • bed2121…0568d3a • 
22 days ago

Merge branch 'topic/stabilize' into 'master'

adacore-botpushed 2 commits to master • 8f9ffcb…aef9f85 • 
24 days ago

Merge branch 'gs_513' into 'master'

adacore-botpushed 2 commits to master • 071b776…8f9ffcb • 
24 days ago

Merge branch 'topic/#516' into 'master'

adacore-botpushed 2 commits to master • 618712c…071b776 • 
24 days ago

Merge remote branch 'origin/master' into edge

adacore-botpushed 5 commits to edge • 8e10473…bed2121 • 
26 days ago

Merge branch 'topic/stabilize' into 'master'

adacore-botpushed 2 commits to master • 981026e…618712c • 
26 days ago

Merge branch 'gs_404' into 'master'

adacore-botpushed 2 commits to master • b8df34e…981026e • 
27 days ago

Merge remote branch 'origin/master' into edge

adacore-botpushed 5 commits to edge • 325e877…8e10473 • 
27 days ago

Merge branch 'topic/lal_repro' into 'master'

adacore-botpushed 2 commits to master • b5bf604…b8df34e • 
27 days ago

Merge branch 'topic/stabilize_nightly' into 'master'

adacore-botpushed 2 commits to master • 4d8c554…b5bf604 • 
28 days ago

Merge remote branch 'origin/master' into edge

adacore-botpushed 6 commits to edge • cf71072…325e877 • 
28 days ago