Skip to content

Actions: AdaCore/VSS

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/fix_json_gen' into 'master'
Spell checks #444: Commit fbe24ce pushed by adacore-bot
January 22, 2024 15:31 19s master
January 22, 2024 15:31 19s
Merge branch 'topic/fix_json_gen' into 'master'
Build #1398: Commit fbe24ce pushed by adacore-bot
January 22, 2024 15:31 7m 34s master
January 22, 2024 15:31 7m 34s
Merge branch 'topic/fix_json_gen' into 'master'
Make Docs #245: Commit fbe24ce pushed by adacore-bot
January 22, 2024 15:31 54s master
January 22, 2024 15:31 54s
Merge branch 'topic/vadim/concat' into 'master'
Build #1397: Commit 1c49a43 pushed by adacore-bot
January 19, 2024 12:30 5m 38s 24.2
January 19, 2024 12:30 5m 38s
Merge branch 'topic/vadim/concat' into 'master'
Spell checks #443: Commit 1c49a43 pushed by adacore-bot
January 19, 2024 12:30 20s 24.2
January 19, 2024 12:30 20s
Merge branch 'topic/vadim/cmlline' into 'master'
Spell checks #442: Commit 3b610a8 pushed by adacore-bot
January 15, 2024 12:38 21s master
January 15, 2024 12:38 21s
Merge branch 'topic/vadim/cmlline' into 'master'
Build #1396: Commit 3b610a8 pushed by adacore-bot
January 15, 2024 12:38 7m 1s master
January 15, 2024 12:38 7m 1s
Merge branch 'topic/vadim/cmlline' into 'master'
Make Docs #244: Commit 3b610a8 pushed by adacore-bot
January 15, 2024 12:38 1m 40s master
January 15, 2024 12:38 1m 40s
Merge branch 'topic/vadim/transformations' into 'master'
Make Docs #243: Commit 893228a pushed by adacore-bot
January 10, 2024 16:25 56s master
January 10, 2024 16:25 56s
Merge branch 'topic/vadim/transformations' into 'master'
Spell checks #441: Commit 893228a pushed by adacore-bot
January 10, 2024 16:25 18s master
January 10, 2024 16:25 18s
Merge branch 'topic/vadim/transformations' into 'master'
Build #1395: Commit 893228a pushed by adacore-bot
January 10, 2024 16:25 7m 45s 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
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
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
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
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
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
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
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
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
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
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
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
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
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
December 6, 2023 12:34 56s