Skip to content

Actions: AdaCore/VSS

Build

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
64 workflow runs
64 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge branch 'topic/caseless_re' into 'master'
Build #1454: Commit 7145df6 pushed by adacore-bot
February 19, 2025 14:35 In progress master
February 19, 2025 14:35 In progress
Merge branch 'topic/vadim/scf' into 'master'
Build #1453: Commit 004f65f pushed by adacore-bot
February 19, 2025 11:50 11m 56s master
February 19, 2025 11:50 11m 56s
Merge branch 'topic/vadim/open' into 'master'
Build #1452: Commit c80f810 pushed by adacore-bot
February 18, 2025 13:11 12m 12s master
February 18, 2025 13:11 12m 12s
Merge branch 'topic/vadim/json5' into 'master'
Build #1451: Commit a962422 pushed by adacore-bot
February 18, 2025 10:08 13m 6s master
February 18, 2025 10:08 13m 6s
Merge branch 'topic/vadim/perf' into 'master'
Build #1450: Commit 875cdd9 pushed by adacore-bot
February 18, 2025 08:39 11m 52s master
February 18, 2025 08:39 11m 52s
Merge branch 'topic/vadim/editor-vss' into 'master'
Build #1449: Commit 0cbb004 pushed by adacore-bot
February 17, 2025 15:04 12m 41s master
February 17, 2025 15:04 12m 41s
Merge branch 'topic/vadim/editor-vss' into 'master'
Build #1448: Commit 8ae2cad pushed by adacore-bot
February 17, 2025 13:54 13m 36s master
February 17, 2025 13:54 13m 36s
Merge branch 'topic/vadim/editor-vss' into 'master'
Build #1447: Commit 324f86a pushed by adacore-bot
February 17, 2025 10:37 12m 34s master
February 17, 2025 10:37 12m 34s
Merge branch 'topic/vadim/editor-vss' into 'master'
Build #1446: Commit 5d95b81 pushed by adacore-bot
February 13, 2025 11:17 12m 52s master
February 13, 2025 11:17 12m 52s
Merge branch 'topic/vadim/editor-vss' into 'master'
Build #1445: Commit e66275b pushed by adacore-bot
February 11, 2025 15:48 12m 40s master
February 11, 2025 15:48 12m 40s
Merge branch 'topic/lazy-string' into 'master'
Build #1444: Commit 6513ae3 pushed by adacore-bot
February 7, 2025 16:42 13m 10s master
February 7, 2025 16:42 13m 10s
Merge branch 'topic/vadim/25' into '25.1'
Build #1443: Commit b559b9d pushed by adacore-bot
February 6, 2025 14:56 13m 21s 25.2
February 6, 2025 14:56 13m 21s
Merge branch 'topic/vadim/ci' into 'master'
Build #1442: Commit 35db94f pushed by adacore-bot
December 23, 2024 10:05 12m 53s master
December 23, 2024 10:05 12m 53s
Merge branch 'topic/minor-pp-cleanups' into 'master'
Build #1441: Commit c20bd52 pushed by adacore-bot
December 4, 2024 15:59 13m 29s master
December 4, 2024 15:59 13m 29s
Merge branch 'topic/vadim/normalization' into 'master'
Build #1440: Commit 0cdb5b0 pushed by adacore-bot
November 27, 2024 16:57 12m 22s master
November 27, 2024 16:57 12m 22s
Merge branch 'topic/ci' into 'master'
Build #1439: Commit 5685fe7 pushed by adacore-bot
November 27, 2024 09:34 13m 1s master
November 27, 2024 09:34 13m 1s
Merge branch 'revert-f872af2b' into 'master'
Build #1438: Commit 66cd996 pushed by adacore-bot
November 19, 2024 11:42 10m 42s master
November 19, 2024 11:42 10m 42s
Merge branch 'revert-6703ac0e' into 'master'
Build #1437: Commit f872af2 pushed by adacore-bot
November 14, 2024 16:26 12m 26s master
November 14, 2024 16:26 12m 26s
Merge branch 'topic/vadim/25' into '25.1'
Build #1436: Commit b559b9d pushed by adacore-bot
November 14, 2024 08:04 12m 17s 25.1
November 14, 2024 08:04 12m 17s
Merge branch 'topic/vadim/delete' into 'master'
Build #1435: Commit 6703ac0 pushed by adacore-bot
November 13, 2024 14:58 14m 44s master
November 13, 2024 14:58 14m 44s
Merge branch 'topic/vadim/delete' into 'master'
Build #1434: Commit 7abe9ec pushed by adacore-bot
November 13, 2024 10:53 13m 49s master
November 13, 2024 10:53 13m 49s
Merge branch 'topic/vadim/delete' into 'master'
Build #1433: Commit 334090a pushed by adacore-bot
November 7, 2024 11:31 14m 45s master
November 7, 2024 11:31 14m 45s
Merge branch 'topic/vadim/delete' into 'master'
Build #1432: Commit 2f9babd pushed by adacore-bot
November 7, 2024 10:25 13m 17s master
November 7, 2024 10:25 13m 17s
Merge branch 'topic/gcc-14.2,' into 'master'
Build #1431: Commit 3a9fb02 pushed by adacore-bot
October 24, 2024 15:38 20m 51s 25.1
October 24, 2024 15:38 20m 51s
Merge branch 'topic/gcc-14.2,' into 'master'
Build #1430: Commit 3a9fb02 pushed by adacore-bot
October 24, 2024 15:38 13m 44s v25.0.0
October 24, 2024 15:38 13m 44s