Skip to content

Actions: AdaCore/VSS

Actions

Build

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
main.yml
70 workflow runs
70 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge branch 'topic/alire' into 'master' Build #1496: Commit 2934424 pushed by adacore-bot
September 1, 2025 11:30 11m 57s master
master
September 1, 2025 11:30 11m 57s
Merge branch 'topic/ci' into 'master' Build #1495: Commit 9b2490b pushed by adacore-bot
August 28, 2025 13:23 12m 59s master
master
August 28, 2025 13:23 12m 59s
Merge branch 'topic/string-lib' into 'master' Build #1494: Commit 2b49018 pushed by adacore-bot
August 28, 2025 11:40 18m 32s master
master
August 28, 2025 11:40 18m 32s
Merge branch 'revert-3ff728bc' into 'master' Build #1493: Commit 0f4e185 pushed by adacore-bot
August 28, 2025 11:35 12m 8s master
master
August 28, 2025 11:35 12m 8s
Merge branch 'topic/vadim/text' into 'master' Build #1492: Commit 3ff728b pushed by adacore-bot
July 31, 2025 13:47 18m 31s master
master
July 31, 2025 13:47 18m 31s
Merge branch 'topic/vadim/tests' into 'master' Build #1491: Commit 00d0a38 pushed by adacore-bot
July 25, 2025 14:14 10m 36s master
master
July 25, 2025 14:14 10m 36s
Merge branch 'topic/vadim/tests' into 'master' Build #1490: Commit 6fb1de7 pushed by adacore-bot
July 23, 2025 21:03 13m 19s master
master
July 23, 2025 21:03 13m 19s
Merge branch 'topic/json_schema' into 'master' Build #1489: Commit 71c07f1 pushed by adacore-bot
July 22, 2025 15:31 10m 41s master
master
July 22, 2025 15:31 10m 41s
Merge branch 'topic/vadim/immutable' into 'master' Build #1488: Commit 07c8a5e pushed by adacore-bot
July 21, 2025 15:27 10m 14s master
master
July 21, 2025 15:27 10m 14s
Merge branch 'topic/vadim/tests' into 'master' Build #1487: Commit 57ba302 pushed by adacore-bot
July 21, 2025 13:26 9m 16s master
master
July 21, 2025 13:26 9m 16s
Merge branch 'topic/vadim/immutable' into 'master' Build #1486: Commit 9d7cbb6 pushed by adacore-bot
July 21, 2025 11:59 13m 18s master
master
July 21, 2025 11:59 13m 18s
Merge branch 'topic/regexp_test' into 'master' Build #1485: Commit 5545da8 pushed by adacore-bot
July 9, 2025 11:32 20m 44s master
master
July 9, 2025 11:32 20m 44s
Merge branch 'topic/fix_regexp_b' into 'master' Build #1484: Commit 9bd4003 pushed by adacore-bot
July 9, 2025 09:55 14m 37s master
master
July 9, 2025 09:55 14m 37s
Merge branch 'topic/vadim/json-push' into 'master' Build #1483: Commit b3d75a1 pushed by adacore-bot
July 3, 2025 16:09 12m 38s master
master
July 3, 2025 16:09 12m 38s
Fix: correct the semantics of \b Build #1482: Pull request #221 opened by ZhangZhuoSJTU
July 3, 2025 01:48 12m 22s ZhangZhuoSJTU:fix/boundry
ZhangZhuoSJTU:fix/boundry
July 3, 2025 01:48 12m 22s
Merge branch 'topic/regexp_empty_cl' into 'master' Build #1481: Commit df10828 pushed by adacore-bot
July 2, 2025 14:41 19m 41s master
master
July 2, 2025 14:41 19m 41s
Fix: empty set means matching nothing Build #1480: Pull request #219 synchronize by ZhangZhuoSJTU
July 2, 2025 14:38 11m 3s ZhangZhuoSJTU:master
ZhangZhuoSJTU:master
July 2, 2025 14:38 11m 3s
Fix: empty set means matching nothing Build #1479: Pull request #219 opened by ZhangZhuoSJTU
July 2, 2025 13:38 12m 17s ZhangZhuoSJTU:master
ZhangZhuoSJTU:master
July 2, 2025 13:38 12m 17s
Merge branch 'topic/fix_regexp' into 'master' Build #1478: Commit 63e5e25 pushed by adacore-bot
July 2, 2025 12:57 13m 38s master
master
July 2, 2025 12:57 13m 38s
Fix: ensure assertion is not quantifiable and avoid deep stack Build #1477: Pull request #217 opened by ZhangZhuoSJTU
July 2, 2025 09:43 11m 27s ZhangZhuoSJTU:master
ZhangZhuoSJTU:master
July 2, 2025 09:43 11m 27s
Merge branch 'topic/vadim/html5' into 'master' Build #1476: Commit a1fab35 pushed by adacore-bot
July 1, 2025 20:27 13m 22s master
master
July 1, 2025 20:27 13m 22s
Merge branch 'topic/vadim/html5' into 'master' Build #1475: Commit 6dc36d0 pushed by adacore-bot
July 1, 2025 14:32 12m 51s master
master
July 1, 2025 14:32 12m 51s
Add Get_Line function Build #1474: Pull request #213 synchronize by atalii
June 30, 2025 20:34 11m 29s atalii:get_line
atalii:get_line
June 30, 2025 20:34 11m 29s
Merge branch 'topic/vadim/modular' into 'master' Build #1473: Commit 68388b0 pushed by adacore-bot
June 30, 2025 11:52 12m 30s master
master
June 30, 2025 11:52 12m 30s
Merge branch 'topic/fix_json_gen' into 'master' Build #1472: Commit 1d39f72 pushed by adacore-bot
June 25, 2025 09:27 23m 23s master
master
June 25, 2025 09:27 23m 23s