Skip to content

Actions: AdaCore/VSS

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
214 workflow runs
214 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge branch 'topic/vadim-license' into 'master' Build #1363: Commit 0b9a22e pushed by adacore-bot
July 25, 2023 08:48 12m 26s master
master
July 25, 2023 08:48 12m 26s
Merge branch 'topic/vadim-license' into 'master' Make Docs #215: Commit 0b9a22e pushed by adacore-bot
July 25, 2023 08:48 1m 10s master
master
July 25, 2023 08:48 1m 10s
Merge branch 'topic/json_schema_fix' into 'master' Make Docs #214: Commit 80674d2 pushed by adacore-bot
July 25, 2023 08:25 1m 33s master
master
July 25, 2023 08:25 1m 33s
Merge branch 'topic/json_schema_fix' into 'master' Spell checks #408: Commit 80674d2 pushed by adacore-bot
July 25, 2023 08:25 23s master
master
July 25, 2023 08:25 23s
Merge branch 'topic/json_schema_fix' into 'master' Build #1362: Commit 80674d2 pushed by adacore-bot
July 25, 2023 08:25 12m 46s master
master
July 25, 2023 08:25 12m 46s
Merge branch 'topic/vadim-gh-ci' into 'master' Spell checks #407: Commit c10eeb3 pushed by adacore-bot
July 16, 2023 14:51 22s master
master
July 16, 2023 14:51 22s
Merge branch 'topic/vadim-gh-ci' into 'master' Make Docs #213: Commit c10eeb3 pushed by adacore-bot
July 16, 2023 14:51 1m 8s master
master
July 16, 2023 14:51 1m 8s
Merge branch 'topic/vadim-gh-ci' into 'master' Build #1361: Commit c10eeb3 pushed by adacore-bot
July 16, 2023 14:51 13m 42s master
master
July 16, 2023 14:51 13m 42s
Merge branch 'topic/vadim-210' into 'master' Spell checks #406: Commit 401222e pushed by adacore-bot
July 12, 2023 17:23 36s master
master
July 12, 2023 17:23 36s
Merge branch 'topic/vadim-210' into 'master' Make Docs #212: Commit 401222e pushed by adacore-bot
July 12, 2023 17:23 1m 14s master
master
July 12, 2023 17:23 1m 14s
Merge branch 'topic/vadim-210' into 'master' Build #1360: Commit 401222e pushed by adacore-bot
July 12, 2023 17:23 13m 7s master
master
July 12, 2023 17:23 13m 7s
Merge branch 'topic/vadim-210' into 'master' Spell checks #405: Commit 510101d pushed by adacore-bot
July 12, 2023 14:53 41s master
master
July 12, 2023 14:53 41s
Merge branch 'topic/vadim-210' into 'master' Make Docs #211: Commit 510101d pushed by adacore-bot
July 12, 2023 14:53 1m 30s master
master
July 12, 2023 14:53 1m 30s
Merge branch 'topic/vadim-210' into 'master' Build #1359: Commit 510101d pushed by adacore-bot
July 12, 2023 14:53 13m 56s master
master
July 12, 2023 14:53 13m 56s