Skip to content

Actions: AdaCore/VSS

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
213 workflow runs
213 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge branch 'topic/vadim/32bit' into 'master' Build #1424: Commit 95fef78 pushed by adacore-bot
July 8, 2024 09:21 7m 41s master
master
July 8, 2024 09:21 7m 41s
Merge branch 'topic/vadim/32bit' into 'master' Spell checks #470: Commit 95fef78 pushed by adacore-bot
July 8, 2024 09:21 18s master
master
July 8, 2024 09:21 18s
Merge branch 'topic/vadim/win' into 'master' Make Docs #268: Commit ad90a73 pushed by adacore-bot
July 8, 2024 07:22 1m 26s master
master
July 8, 2024 07:22 1m 26s
Merge branch 'topic/vadim/win' into 'master' Build #1423: Commit ad90a73 pushed by adacore-bot
July 8, 2024 07:22 8m 8s master
master
July 8, 2024 07:22 8m 8s
Merge branch 'topic/vadim/win' into 'master' Spell checks #469: Commit ad90a73 pushed by adacore-bot
July 8, 2024 07:22 50s master
master
July 8, 2024 07:22 50s
Merge branch 'topic/vadim/win' into 'master' Build #1422: Commit 96a6d33 pushed by adacore-bot
July 5, 2024 12:03 8m 9s master
master
July 5, 2024 12:03 8m 9s
Merge branch 'topic/vadim/win' into 'master' Make Docs #267: Commit 96a6d33 pushed by adacore-bot
July 5, 2024 12:03 1m 4s master
master
July 5, 2024 12:03 1m 4s
Merge branch 'topic/vadim/win' into 'master' Spell checks #468: Commit 96a6d33 pushed by adacore-bot
July 5, 2024 12:03 21s master
master
July 5, 2024 12:03 21s
Merge branch 'topic/vadim/gdbpp' into 'master' Build #1421: Commit 6b808d5 pushed by adacore-bot
July 3, 2024 15:00 7m 32s master
master
July 3, 2024 15:00 7m 32s
Merge branch 'topic/vadim/gdbpp' into 'master' Make Docs #266: Commit 6b808d5 pushed by adacore-bot
July 3, 2024 15:00 1m 1s master
master
July 3, 2024 15:00 1m 1s
Merge branch 'topic/vadim/gdbpp' into 'master' Spell checks #467: Commit 6b808d5 pushed by adacore-bot
July 3, 2024 15:00 20s master
master
July 3, 2024 15:00 20s
Merge branch 'topic/vadim/32bit' into 'master' Make Docs #265: Commit 988f93c pushed by adacore-bot
June 28, 2024 16:40 56s master
master
June 28, 2024 16:40 56s
Merge branch 'topic/vadim/32bit' into 'master' Build #1420: Commit 988f93c pushed by adacore-bot
June 28, 2024 16:40 7m 34s master
master
June 28, 2024 16:40 7m 34s
Merge branch 'topic/vadim/32bit' into 'master' Spell checks #466: Commit 988f93c pushed by adacore-bot
June 28, 2024 16:40 18s master
master
June 28, 2024 16:40 18s
Merge branch 'topic/vadim/32bit' into 'master' Spell checks #465: Commit 4793470 pushed by adacore-bot
June 28, 2024 16:25 21s master
master
June 28, 2024 16:25 21s
Merge branch 'topic/vadim/32bit' into 'master' Build #1419: Commit 4793470 pushed by adacore-bot
June 28, 2024 16:25 7m 14s master
master
June 28, 2024 16:25 7m 14s
Merge branch 'topic/vadim/32bit' into 'master' Make Docs #264: Commit 4793470 pushed by adacore-bot
June 28, 2024 16:25 54s master
master
June 28, 2024 16:25 54s
Merge branch 'topic/vadim/ci' into 'master' Make Docs #263: Commit b837935 pushed by adacore-bot
June 26, 2024 10:10 48s master
master
June 26, 2024 10:10 48s
Merge branch 'topic/vadim/ci' into 'master' Build #1418: Commit b837935 pushed by adacore-bot
June 26, 2024 10:10 7m 49s master
master
June 26, 2024 10:10 7m 49s
Merge branch 'topic/vadim/ci' into 'master' Spell checks #464: Commit b837935 pushed by adacore-bot
June 26, 2024 10:10 18s master
master
June 26, 2024 10:10 18s
Merge branch 'topic/vadim/concat' into 'master' Build #1417: Commit 1c49a43 pushed by adacore-bot
June 25, 2024 04:59 6m 1s 24-sustained
24-sustained
June 25, 2024 04:59 6m 1s
Merge branch 'topic/vadim/concat' into 'master' Spell checks #463: Commit 1c49a43 pushed by adacore-bot
June 25, 2024 04:59 20s 24-sustained
24-sustained
June 25, 2024 04:59 20s
Merge branch 'mr/pmderodat/master' into 'master' Spell checks #462: Commit 7ba9679 pushed by adacore-bot
June 11, 2024 12:31 37s master
master
June 11, 2024 12:31 37s
Merge branch 'mr/pmderodat/master' into 'master' Build #1416: Commit 7ba9679 pushed by adacore-bot
June 11, 2024 12:31 8m 23s master
master
June 11, 2024 12:31 8m 23s
Merge branch 'mr/pmderodat/master' into 'master' Make Docs #262: Commit 7ba9679 pushed by adacore-bot
June 11, 2024 12:31 55s master
master
June 11, 2024 12:31 55s