Skip to content

Actions: AdaCore/gnatdoc

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
70 workflow runs
70 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge remote branch 'origin/master' into edge Build binaries #254: Commit 7363084 pushed by adacore-bot
November 13, 2024 00:55 4m 40s edge
edge
November 13, 2024 00:55 4m 40s
Merge branch 'topic/fix_then' into 'master' Build binaries #253: Commit 2aae713 pushed by adacore-bot
November 12, 2024 12:53 5m 32s master
master
November 12, 2024 12:53 5m 32s
Merge remote branch 'origin/master' into edge Build binaries #252: Commit d17bff2 pushed by adacore-bot
October 7, 2024 00:55 4m 11s edge
edge
October 7, 2024 00:55 4m 11s
Merge branch 'topic/vadim/version' into 'master' Build binaries #251: Commit 3b9ae04 pushed by adacore-bot
October 4, 2024 13:19 4m 24s master
master
October 4, 2024 13:19 4m 24s
Merge remote branch 'origin/master' into edge Build binaries #250: Commit f088788 pushed by adacore-bot
October 4, 2024 00:55 4m 27s edge
edge
October 4, 2024 00:55 4m 27s
Merge branch 'mr/lambourg/adjust-gpr-log-api-change' into 'edge' Build binaries #249: Commit 2d8497c pushed by adacore-bot
October 3, 2024 14:25 4m 11s edge
edge
October 3, 2024 14:25 4m 11s
Merge branch 'topic/vadim/lal-workaround' into 'master' Build binaries #248: Commit 99c065f pushed by adacore-bot
October 3, 2024 11:16 4m 5s master
master
October 3, 2024 11:16 4m 5s
Merge branch 'topic/vadim/subtypes' into 'master' Build binaries #247: Commit 0fd7349 pushed by adacore-bot
October 3, 2024 11:15 4m 18s master
master
October 3, 2024 11:15 4m 18s
Merge remote branch 'origin/master' into edge Build binaries #246: Commit 7f6ee9a pushed by adacore-bot
October 3, 2024 00:55 4m 52s edge
edge
October 3, 2024 00:55 4m 52s
Merge branch 'topic/#88' into 'master' Build binaries #245: Commit 9699a03 pushed by adacore-bot
October 2, 2024 10:10 4m 0s master
master
October 2, 2024 10:10 4m 0s
Merge remote branch 'origin/master' into edge Build binaries #244: Commit 4c379b7 pushed by adacore-bot
October 2, 2024 00:54 4m 11s edge
edge
October 2, 2024 00:54 4m 11s
Merge branch 'topic/renamings' into 'master' Build binaries #243: Commit 3a00cd8 pushed by adacore-bot
October 1, 2024 14:37 4m 32s master
master
October 1, 2024 14:37 4m 32s
Merge branch 'topic/bump_edge_master' into 'master' Build binaries #242: Commit cedde8a pushed by adacore-bot
September 24, 2024 15:34 4m 41s master
master
September 24, 2024 15:34 4m 41s
Merge remote branch 'origin/master' into edge Build binaries #241: Commit 7f27abc pushed by adacore-bot
September 20, 2024 00:55 4m 24s edge
edge
September 20, 2024 00:55 4m 24s
Merge branch 'topic/vadim/crash' into 'master' Build binaries #240: Commit edf2489 pushed by adacore-bot
September 19, 2024 15:13 4m 50s master
master
September 19, 2024 15:13 4m 50s
Merge remote branch 'origin/master' into edge Build binaries #239: Commit e71a7d1 pushed by adacore-bot
September 3, 2024 00:55 4m 16s edge
edge
September 3, 2024 00:55 4m 16s
Merge branch 'topic/vadim/concrete' into 'master' Build binaries #238: Commit ec2fa87 pushed by adacore-bot
September 2, 2024 16:09 4m 12s master
master
September 2, 2024 16:09 4m 12s
Merge branch 'topic/vadim/generics' into 'master' Build binaries #237: Commit 7e51aab pushed by adacore-bot
September 2, 2024 16:07 3m 56s master
master
September 2, 2024 16:07 3m 56s
Merge branch 'topic/gpr.308.fix_build' into 'edge' Build binaries #236: Commit 951fe4a pushed by adacore-bot
August 14, 2024 13:48 4m 10s edge
edge
August 14, 2024 13:48 4m 10s
Merge remote branch 'origin/master' into edge Build binaries #235: Commit ad5ebbf pushed by adacore-bot
July 25, 2024 00:55 4m 30s edge
edge
July 25, 2024 00:55 4m 30s
Merge branch 'mr/leger/86-add-license-files-to-repo' into 'master' Build binaries #234: Commit b148172 pushed by adacore-bot
July 24, 2024 16:47 6m 24s master
master
July 24, 2024 16:47 6m 24s
Merge branch 'topic/vadim/rst' into 'master' Build binaries #233: Commit 5b426e1 pushed by adacore-bot
July 24, 2024 12:24 5m 10s master
master
July 24, 2024 12:24 5m 10s
Merge remote branch 'origin/master' into edge Build binaries #232: Commit b6391a0 pushed by adacore-bot
July 10, 2024 00:55 4m 28s edge
edge
July 10, 2024 00:55 4m 28s
Merge branch 'topic/vadim/rst' into 'master' Build binaries #231: Commit 7da1cb9 pushed by adacore-bot
July 9, 2024 08:49 4m 49s master
master
July 9, 2024 08:49 4m 49s
Merge branch 'topic/vadim/fix' into 'master' Build binaries #230: Commit 0b81db9 pushed by adacore-bot
July 9, 2024 08:10 6m 10s master
master
July 9, 2024 08:10 6m 10s