Skip to content

Actions: AdaCore/VSS

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
222 workflow runs
222 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge branch 'topic/vadim/transformations' into 'master' Build #1395: Commit 893228a pushed by adacore-bot
January 10, 2024 16:25 7m 45s master
master
January 10, 2024 16:25 7m 45s
Merge branch 'topic/vadim/transformations' into 'master' Build #1394: Commit 002502a pushed by adacore-bot
January 10, 2024 14:44 7m 16s master
master
January 10, 2024 14:44 7m 16s
Merge branch 'topic/vadim/transformations' into 'master' Spell checks #440: Commit 002502a pushed by adacore-bot
January 10, 2024 14:44 20s master
master
January 10, 2024 14:44 20s
Merge branch 'topic/vadim/transformations' into 'master' Make Docs #242: Commit 002502a pushed by adacore-bot
January 10, 2024 14:44 1m 21s master
master
January 10, 2024 14:44 1m 21s
Merge branch 'topic/put_image' into 'master' Spell checks #439: Commit e7080f9 pushed by adacore-bot
December 22, 2023 09:55 19s master
master
December 22, 2023 09:55 19s
Merge branch 'topic/put_image' into 'master' Build #1393: Commit e7080f9 pushed by adacore-bot
December 22, 2023 09:55 7m 44s master
master
December 22, 2023 09:55 7m 44s
Merge branch 'topic/put_image' into 'master' Make Docs #241: Commit e7080f9 pushed by adacore-bot
December 22, 2023 09:55 1m 1s master
master
December 22, 2023 09:55 1m 1s
Merge branch 'topic/vadim/bob' into 'master' Make Docs #240: Commit 0bc60cd pushed by adacore-bot
December 21, 2023 12:57 1m 6s master
master
December 21, 2023 12:57 1m 6s
Merge branch 'topic/vadim/bob' into 'master' Build #1392: Commit 0bc60cd pushed by adacore-bot
December 21, 2023 12:57 8m 52s master
master
December 21, 2023 12:57 8m 52s
Merge branch 'topic/vadim/bob' into 'master' Spell checks #438: Commit 0bc60cd pushed by adacore-bot
December 21, 2023 12:57 22s master
master
December 21, 2023 12:57 22s
Merge branch 'topic/vadim/ada2022' into 'master' Make Docs #239: Commit 097e11b pushed by adacore-bot
December 10, 2023 04:08 57s master
master
December 10, 2023 04:08 57s
Merge branch 'topic/vadim/ada2022' into 'master' Build #1391: Commit 097e11b pushed by adacore-bot
December 10, 2023 04:08 8m 33s master
master
December 10, 2023 04:08 8m 33s
Merge branch 'topic/vadim/ada2022' into 'master' Spell checks #437: Commit 097e11b pushed by adacore-bot
December 10, 2023 04:08 23s master
master
December 10, 2023 04:08 23s
Merge branch 'mr/pmderodat/master' into 'master' Spell checks #436: Commit fda4c4e pushed by adacore-bot
December 6, 2023 12:34 23s master
master
December 6, 2023 12:34 23s
Merge branch 'mr/pmderodat/master' into 'master' Make Docs #238: Commit fda4c4e pushed by adacore-bot
December 6, 2023 12:34 56s master
master
December 6, 2023 12:34 56s
Merge branch 'mr/pmderodat/master' into 'master' Build #1390: Commit fda4c4e pushed by adacore-bot
December 6, 2023 12:34 7m 44s master
master
December 6, 2023 12:34 7m 44s
Build GNAT Build GNAT #3: Manually run by reznikmm
December 6, 2023 07:56 50m 55s master
master
December 6, 2023 07:56 50m 55s
Merge branch 'topic/gnat4m1' into 'master' Build #1389: Commit 9108ab0 pushed by adacore-bot
December 6, 2023 07:56 7m 22s master
master
December 6, 2023 07:56 7m 22s
Merge branch 'topic/gnat4m1' into 'master' Spell checks #435: Commit 9108ab0 pushed by adacore-bot
December 6, 2023 07:56 24s master
master
December 6, 2023 07:56 24s
Merge branch 'topic/gnat4m1' into 'master' Make Docs #237: Commit 9108ab0 pushed by adacore-bot
December 6, 2023 07:56 1m 4s master
master
December 6, 2023 07:56 1m 4s
Merge branch 'topic/vadim/ada2022' into 'master' Spell checks #434: Commit 6049c9b pushed by adacore-bot
December 1, 2023 12:52 34s master
master
December 1, 2023 12:52 34s
Merge branch 'topic/vadim/ada2022' into 'master' Make Docs #236: Commit 6049c9b pushed by adacore-bot
December 1, 2023 12:52 1m 30s master
master
December 1, 2023 12:52 1m 30s
Merge branch 'topic/vadim/ada2022' into 'master' Build #1388: Commit 6049c9b pushed by adacore-bot
December 1, 2023 12:52 7m 10s master
master
December 1, 2023 12:52 7m 10s
Merge branch 'topic/vadim/e3testsuite' into 'master' Build #1387: Commit 1d44de8 pushed by adacore-bot
November 29, 2023 11:39 7m 32s master
master
November 29, 2023 11:39 7m 32s
Merge branch 'topic/vadim/e3testsuite' into 'master' Make Docs #235: Commit 1d44de8 pushed by adacore-bot
November 29, 2023 11:39 1m 6s master
master
November 29, 2023 11:39 1m 6s