Skip to content

Actions: AdaCore/VSS

Make Docs

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
62 workflow runs
62 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge branch 'topic/vadim/cle' into 'master'
Make Docs #228: Commit 4fe0fe8 pushed by adacore-bot
November 16, 2023 18:12 1m 10s master
November 16, 2023 18:12 1m 10s
Merge branch 'topic/regexp_dot' into 'master'
Make Docs #227: Commit 5642614 pushed by adacore-bot
October 23, 2023 17:09 1m 20s master
October 23, 2023 17:09 1m 20s
Merge branch 'topic/gcc-13' into 'master'
Make Docs #226: Commit b3905d5 pushed by adacore-bot
October 19, 2023 15:07 2m 4s master
October 19, 2023 15:07 2m 4s
Merge branch 'topic/fix_regexp' into 'master'
Make Docs #225: Commit 4c9ad6f pushed by adacore-bot
October 3, 2023 14:15 1m 25s master
October 3, 2023 14:15 1m 25s
Merge branch 'topic/vadim-xunit' into 'master'
Make Docs #224: Commit 37e2e6f pushed by adacore-bot
October 3, 2023 09:56 1m 29s master
October 3, 2023 09:56 1m 29s
Merge branch 'topic/vadim/put_image' into 'master'
Make Docs #223: Commit 466ebd9 pushed by adacore-bot
October 3, 2023 09:55 1m 41s master
October 3, 2023 09:55 1m 41s
Merge branch 'topic/vadim/concat' into 'master'
Make Docs #222: Commit 1c49a43 pushed by adacore-bot
September 13, 2023 12:51 1m 11s master
September 13, 2023 12:51 1m 11s
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
September 8, 2023 12:56 1m 47s
Merge branch 'topic/vadim/lsp' into 'master'
Make Docs #220: Commit 564e99b pushed by adacore-bot
August 25, 2023 11:27 1m 24s master
August 25, 2023 11:27 1m 24s
Merge branch 'topic/json-streams' into 'master'
Make Docs #219: Commit 1b3d60f pushed by adacore-bot
August 8, 2023 16:14 1m 24s master
August 8, 2023 16:14 1m 24s
Merge branch 'topic/json5-data' into 'master'
Make Docs #218: Commit acf338d pushed by adacore-bot
July 31, 2023 17:08 1m 52s master
July 31, 2023 17:08 1m 52s
Merge branch 'topic/ucd_15' into 'master'
Make Docs #217: Commit 51b3c6a pushed by adacore-bot
July 31, 2023 08:26 1m 21s master
July 31, 2023 08:26 1m 21s