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/integer-formatting' into 'master' Make Docs #221: Commit 76e8614 pushed by adacore-bot
September 8, 2023 12:56 1m 47s master
master
September 8, 2023 12:56 1m 47s
Merge branch 'topic/vadim/integer-formatting' into 'master' Build #1369: Commit 76e8614 pushed by adacore-bot
September 8, 2023 12:56 7m 27s master
master
September 8, 2023 12:56 7m 27s
Merge branch 'topic/vadim/integer-formatting' into 'master' Spell checks #415: Commit 76e8614 pushed by adacore-bot
September 8, 2023 12:56 22s master
master
September 8, 2023 12:56 22s
Merge branch 'topic/vadim/lsp' into 'master' Build #1368: Commit 564e99b pushed by adacore-bot
August 25, 2023 11:27 7m 20s master
master
August 25, 2023 11:27 7m 20s
Merge branch 'topic/vadim/lsp' into 'master' Spell checks #414: Commit 564e99b pushed by adacore-bot
August 25, 2023 11:27 23s master
master
August 25, 2023 11:27 23s
Merge branch 'topic/vadim/lsp' into 'master' Make Docs #220: Commit 564e99b pushed by adacore-bot
August 25, 2023 11:27 1m 24s master
master
August 25, 2023 11:27 1m 24s
Merge branch 'topic/json-streams' into 'master' Spell checks #413: Commit 1b3d60f pushed by adacore-bot
August 8, 2023 16:14 22s master
master
August 8, 2023 16:14 22s
Merge branch 'topic/json-streams' into 'master' Build #1367: Commit 1b3d60f pushed by adacore-bot
August 8, 2023 16:14 9m 42s master
master
August 8, 2023 16:14 9m 42s
Merge branch 'topic/json-streams' into 'master' Make Docs #219: Commit 1b3d60f pushed by adacore-bot
August 8, 2023 16:14 1m 24s master
master
August 8, 2023 16:14 1m 24s
Merge branch 'topic/json5-data' into 'master' Spell checks #412: Commit acf338d pushed by adacore-bot
July 31, 2023 17:08 49s master
master
July 31, 2023 17:08 49s
Merge branch 'topic/json5-data' into 'master' Build #1366: Commit acf338d pushed by adacore-bot
July 31, 2023 17:08 7m 27s master
master
July 31, 2023 17:08 7m 27s
Merge branch 'topic/json5-data' into 'master' Make Docs #218: Commit acf338d pushed by adacore-bot
July 31, 2023 17:08 1m 52s master
master
July 31, 2023 17:08 1m 52s
Merge branch 'topic/ucd_15' into 'master' Build #1365: Commit 51b3c6a pushed by adacore-bot
July 31, 2023 08:26 9m 19s master
master
July 31, 2023 08:26 9m 19s
Merge branch 'topic/ucd_15' into 'master' Spell checks #411: Commit 51b3c6a pushed by adacore-bot
July 31, 2023 08:26 32s master
master
July 31, 2023 08:26 32s
Merge branch 'topic/ucd_15' into 'master' Make Docs #217: Commit 51b3c6a pushed by adacore-bot
July 31, 2023 08:26 1m 21s master
master
July 31, 2023 08:26 1m 21s
Merge branch 'topic/vadim-elab' into 'master' Make Docs #216: Commit 719386b pushed by adacore-bot
July 25, 2023 12:09 1m 21s master
master
July 25, 2023 12:09 1m 21s
Merge branch 'topic/vadim-elab' into 'master' Build #1364: Commit 719386b pushed by adacore-bot
July 25, 2023 12:09 11m 14s master
master
July 25, 2023 12:09 11m 14s
Merge branch 'topic/vadim-elab' into 'master' Spell checks #410: Commit 719386b pushed by adacore-bot
July 25, 2023 12:09 21s master
master
July 25, 2023 12:09 21s
Merge branch 'topic/vadim-license' into 'master' Spell checks #409: Commit 0b9a22e pushed by adacore-bot
July 25, 2023 08:48 22s master
master
July 25, 2023 08:48 22s
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