Skip to content

Actions: AdaCore/gnatdoc

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
91 workflow runs
91 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge remote branch 'origin/master' into edge
Build binaries #317: Commit 877b097 pushed by adacore-bot
July 3, 2025 00:55 4m 24s edge
July 3, 2025 00:55 4m 24s
Merge branch 'topic/vadim/example' into 'master'
Build binaries #316: Commit 509e652 pushed by adacore-bot
July 2, 2025 13:22 4m 1s master
July 2, 2025 13:22 4m 1s
Merge branch 'topic/vadim/markdown' into 'master'
Build binaries #315: Commit af62729 pushed by adacore-bot
July 2, 2025 11:46 3m 34s master
July 2, 2025 11:46 3m 34s
Merge branch 'topic/vadim/extractor' into 'master'
Build binaries #314: Commit 96d3399 pushed by adacore-bot
July 2, 2025 11:45 5m 2s master
July 2, 2025 11:45 5m 2s
Merge branch 'topic/vadim/html' into 'edge'
Build binaries #313: Commit ad7dab6 pushed by adacore-bot
July 1, 2025 19:40 4m 11s edge
July 1, 2025 19:40 4m 11s
Merge remote branch 'origin/master' into edge
Build binaries #312: Commit c20928f pushed by adacore-bot
June 27, 2025 00:55 4m 46s edge
June 27, 2025 00:55 4m 46s
Merge branch 'topic/merge_master_to_edge' into 'edge'
Build binaries #311: Commit badd7dd pushed by adacore-bot
June 26, 2025 15:09 3m 52s edge
June 26, 2025 15:09 3m 52s
Merge branch 'topic/vadim/gpr_tool' into 'master'
Build binaries #310: Commit ebe3364 pushed by adacore-bot
June 26, 2025 15:02 6m 13s master
June 26, 2025 15:02 6m 13s
Merge branch 'topic/vadim/rst' into 'master'
Build binaries #309: Commit f31024a pushed by adacore-bot
June 25, 2025 13:05 4m 4s master
June 25, 2025 13:05 4m 4s
Merge branch 'topic/vadim/odf' into 'master'
Build binaries #308: Commit b3f1dad pushed by adacore-bot
June 25, 2025 10:46 4m 2s master
June 25, 2025 10:46 4m 2s
Merge branch 'topic/bump_master' into 'master'
Build binaries #307: Commit 9704a51 pushed by adacore-bot
June 24, 2025 09:47 4m 7s master
June 24, 2025 09:47 4m 7s
Merge remote branch 'origin/master' into edge
Build binaries #306: Commit e7f4253 pushed by adacore-bot
June 11, 2025 00:55 5m 50s edge
June 11, 2025 00:55 5m 50s
Merge branch 'topic/vadim/odf' into 'edge'
Build binaries #305: Commit 55441ec pushed by adacore-bot
June 10, 2025 16:13 7m 28s edge
June 10, 2025 16:13 7m 28s
Merge branch 'topic/vadim/images-edge' into 'edge'
Build binaries #304: Commit 9e63e97 pushed by adacore-bot
June 10, 2025 10:12 6m 42s edge
June 10, 2025 10:12 6m 42s
Merge branch 'topic/vadim/images' into 'master'
Build binaries #303: Commit dbcb9e3 pushed by adacore-bot
June 10, 2025 10:11 6m 2s master
June 10, 2025 10:11 6m 2s
Merge branch 'topic/vadim/edge' into 'edge'
Build binaries #302: Commit d625b92 pushed by adacore-bot
June 5, 2025 15:53 4m 23s edge
June 5, 2025 15:53 4m 23s
Merge remote branch 'origin/master' into edge
Build binaries #301: Commit f268fdf pushed by adacore-bot
June 5, 2025 00:55 4m 32s edge
June 5, 2025 00:55 4m 32s
Merge branch 'topic/update_md' into 'master'
Build binaries #300: Commit 37ee442 pushed by adacore-bot
June 4, 2025 13:56 4m 44s master
June 4, 2025 13:56 4m 44s
Merge remote branch 'origin/master' into edge
Build binaries #299: Commit 31561b4 pushed by adacore-bot
June 4, 2025 00:55 5m 4s edge
June 4, 2025 00:55 5m 4s
Merge branch 'topic/vadim/edge' into 'edge'
Build binaries #298: Commit e765958 pushed by adacore-bot
June 3, 2025 09:27 4m 34s edge
June 3, 2025 09:27 4m 34s
Merge branch 'topic/vadim/belongsto-master' into 'master'
Build binaries #297: Commit 93ea389 pushed by adacore-bot
June 3, 2025 09:24 4m 38s master
June 3, 2025 09:24 4m 38s
Merge branch 'topic/vadim/version' into 'master'
Build binaries #296: Commit d24621a pushed by adacore-bot
June 2, 2025 14:47 5m 53s master
June 2, 2025 14:47 5m 53s
Merge branch 'topic/vadim/order-rstpt' into 'master'
Build binaries #295: Commit a76dd3d pushed by adacore-bot
June 2, 2025 09:54 4m 43s master
June 2, 2025 09:54 4m 43s
Merge branch 'topic/vadim/odf' into 'edge'
Build binaries #294: Commit 8f06d37 pushed by adacore-bot
May 19, 2025 12:01 3m 58s edge
May 19, 2025 12:01 3m 58s
Merge remote branch 'origin/master' into edge
Build binaries #293: Commit 0645784 pushed by adacore-bot
May 19, 2025 00:55 4m 30s edge
May 19, 2025 00:55 4m 30s