Skip to content

Activity

Showing most recent first

Merge remote branch 'origin/master' into edge

adacore-botpushed 5 commits to edge • e8de336…462553d • 
2 days ago

Merge branch 'topic/th_fix' into 'master'

adacore-botpushed 2 commits to master • 5ea7d67…8bf3374 • 
4 days ago

Merge branch 'topic/doc_install' into 'master'

adacore-botpushed 2 commits to master • 0445d77…5ea7d67 • 
4 days ago

Merge remote branch 'origin/master' into edge

adacore-botpushed 7 commits to edge • e896f57…e8de336 • 
5 days ago

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

adacore-botpushed 2 commits to master • 9550e40…0445d77 • 
5 days ago

Merge branch 'als_1614' into 'master'

adacore-botpushed 2 commits to master • 1b62ead…9550e40 • 
5 days ago

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

adacore-botpushed 2 commits to master • 1d8509a…1b62ead • 
5 days ago

Merge remote branch 'origin/master' into edge

adacore-botpushed 3 commits to edge • 6150511…e896f57 • 
9 days ago

Merge branch 'topic/changelog' into 'master'

adacore-botpushed 2 commits to master • e84fd57…1d8509a • 
11 days ago

Merge remote branch 'origin/master' into edge

adacore-botpushed 3 commits to edge • b592684…6150511 • 
12 days ago

Merge branch 'topic/eng/ide/als-publish#14' into 'master'

adacore-botpushed 2 commits to master • c80724d…e84fd57 • 
12 days ago

Merge remote branch 'origin/master' into edge

adacore-botpushed 17 commits to edge • e25458b…b592684 • 
13 days ago

Merge branch 'mr/pmderodat/generic-rewriting' into 'edge'

adacore-botpushed 2 commits to edge • 18e040a…e25458b • 
13 days ago

Merge branch 'topic/task-override' into 'master'

adacore-botpushed 2 commits to master • 2282212…c80724d • 
13 days ago

Merge branch 'topic/gnatcov' into 'master'

adacore-botpushed 2 commits to master • b643839…2282212 • 
13 days ago

Merge branch 'topic/github-actions' into 'master'

adacore-botpushed 2 commits to master • f6f58ea…b643839 • 
13 days ago

Merge branch 'topic/bump' into 'master'

adacore-botpushed 10 commits to master • 9b1d82f…f6f58ea • 
15 days ago

Merge remote branch 'origin/master' into edge

adacore-botpushed 7 commits to edge • 3e25f5c…18e040a • 
16 days ago

Merge branch 'topic/test_results' into 'master'

adacore-botpushed 2 commits to master • f46a554…9b1d82f • 
18 days ago

Merge branch 'topic/cargs' into 'master'

adacore-botpushed 2 commits to master • 19421d6…f46a554 • 
18 days ago

Merge branch 'topic/templates' into 'master'

adacore-botpushed 2 commits to master • eeb3a1d…19421d6 • 
18 days ago

Merge branch 'topic/fix_edge' into 'edge'

adacore-botpushed 2 commits to edge • 6e3952d…3e25f5c • 
18 days ago

Merge remote branch 'origin/master' into edge

adacore-botpushed 5 commits to edge • 98502d3…6e3952d • 
19 days ago

Merge branch 'topic/gnatcov' into 'master'

adacore-botpushed 2 commits to master • 0bd72df…eeb3a1d • 
19 days ago

Merge branch 'topic/fix_edge' into 'edge'

adacore-botpushed 3 commits to edge • c957dca…98502d3 • 
19 days ago

Merge branch 'revert-436eed11' into 'master'

adacore-botpushed 2 commits to master • 436eed1…0bd72df • 
19 days ago

Merge remote branch 'origin/master' into edge

adacore-botpushed 4 commits to edge • 16b8d56…c957dca • 
20 days ago

Merge branch 'topic/fb_context' into 'master'

adacore-botpushed 3 commits to master • 4880e80…436eed1 • 
20 days ago

Merge remote branch 'origin/master' into edge

adacore-botpushed 6 commits to edge • 6fa698f…16b8d56 • 
21 days ago

Merge branch 'topic/gnatcov' into 'master'

adacore-botpushed 3 commits to master • 2f6b8aa…4880e80 • 
21 days ago