Thanks to visit codestin.com
Credit goes to github.com

Skip to content
This repository was archived by the owner on Oct 6, 2025. It is now read-only.

Actions: AdaCore/VSS

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
185 workflow runs
185 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

pages build and deployment pages-build-deployment #2: by couraillon
56s gh-pages
gh-pages
56s
pages build and deployment pages-build-deployment #1: by couraillon
38s gh-pages
gh-pages
38s
Merge branch 'topic/alire' into 'master' Spell checks #542: Commit 2934424 pushed by adacore-bot
1m 5s master
master
1m 5s
Merge branch 'topic/alire' into 'master' Build #1496: Commit 2934424 pushed by adacore-bot
11m 57s master
master
11m 57s
Merge branch 'topic/alire' into 'master' Make Docs #328: Commit 2934424 pushed by adacore-bot
1m 41s master
master
1m 41s
Merge branch 'topic/ci' into 'master' Spell checks #541: Commit 9b2490b pushed by adacore-bot
19s master
master
19s
Merge branch 'topic/ci' into 'master' Build #1495: Commit 9b2490b pushed by adacore-bot
12m 59s master
master
12m 59s
Merge branch 'topic/ci' into 'master' Make Docs #327: Commit 9b2490b pushed by adacore-bot
1m 40s master
master
1m 40s
Merge branch 'topic/string-lib' into 'master' Build #1494: Commit 2b49018 pushed by adacore-bot
18m 32s master
master
18m 32s
Merge branch 'topic/string-lib' into 'master' Spell checks #540: Commit 2b49018 pushed by adacore-bot
1m 26s master
master
1m 26s
Merge branch 'topic/string-lib' into 'master' Make Docs #326: Commit 2b49018 pushed by adacore-bot
48s master
master
48s
Merge branch 'revert-3ff728bc' into 'master' Spell checks #539: Commit 0f4e185 pushed by adacore-bot
1m 18s master
master
1m 18s
Merge branch 'revert-3ff728bc' into 'master' Build #1493: Commit 0f4e185 pushed by adacore-bot
12m 8s master
master
12m 8s
Merge branch 'revert-3ff728bc' into 'master' Make Docs #325: Commit 0f4e185 pushed by adacore-bot
1m 9s master
master
1m 9s
Merge branch 'topic/vadim/text' into 'master' Make Docs #324: Commit 3ff728b pushed by adacore-bot
1m 2s master
master
1m 2s
Merge branch 'topic/vadim/text' into 'master' Build #1492: Commit 3ff728b pushed by adacore-bot
18m 31s master
master
18m 31s
Merge branch 'topic/vadim/text' into 'master' Spell checks #538: Commit 3ff728b pushed by adacore-bot
1m 11s master
master
1m 11s
Merge branch 'topic/vadim/tests' into 'master' Build #1491: Commit 00d0a38 pushed by adacore-bot
10m 36s master
master
10m 36s
Merge branch 'topic/vadim/tests' into 'master' Spell checks #537: Commit 00d0a38 pushed by adacore-bot
20s master
master
20s
Merge branch 'topic/vadim/tests' into 'master' Make Docs #323: Commit 00d0a38 pushed by adacore-bot
1m 56s master
master
1m 56s
Merge branch 'topic/vadim/tests' into 'master' Build #1490: Commit 6fb1de7 pushed by adacore-bot
13m 19s master
master
13m 19s
Merge branch 'topic/vadim/tests' into 'master' Spell checks #536: Commit 6fb1de7 pushed by adacore-bot
1m 13s master
master
1m 13s
Merge branch 'topic/vadim/tests' into 'master' Make Docs #322: Commit 6fb1de7 pushed by adacore-bot
1m 3s master
master
1m 3s
Merge branch 'topic/json_schema' into 'master' Make Docs #321: Commit 71c07f1 pushed by adacore-bot
52s master
master
52s
Merge branch 'topic/json_schema' into 'master' Spell checks #535: Commit 71c07f1 pushed by adacore-bot
26s master
master
26s