Skip to content

Actions: AdaCore/spawn

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
11 workflow runs
11 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge branch 'gs_482' into 'master' Build #181: Commit b77188b pushed by adacore-bot
January 28, 2025 16:38 3m 31s master
master
January 28, 2025 16:38 3m 31s
Merge branch 'topic/kill' into 'master' Build #180: Commit 7149d43 pushed by adacore-bot
January 28, 2025 14:40 5m 1s 25.2
25.2
January 28, 2025 14:40 5m 1s
Build Build #179: by adacore-bot
January 7, 2025 15:25 3m 22s master
master
January 7, 2025 15:25 3m 22s
Merge branch 'topic/kill' into 'master' Build #178: Commit 7149d43 pushed by adacore-bot
October 24, 2024 15:48 5m 42s 25.1
25.1
October 24, 2024 15:48 5m 42s
Merge branch 'topic/kill' into 'master' Build #177: Commit 7149d43 pushed by adacore-bot
October 24, 2024 15:48 5m 40s v25.0.0
v25.0.0
October 24, 2024 15:48 5m 40s
Merge branch 'topic/kill' into 'master' Build #176: Commit 7149d43 pushed by adacore-bot
October 16, 2024 10:27 4m 5s 25.0
25.0
October 16, 2024 10:27 4m 5s
Merge branch 'topic/fix_os' into '24.0' Build #175: Commit ebdbafb pushed by adacore-bot
September 24, 2024 07:55 3m 57s v24.0.1
v24.0.1
September 24, 2024 07:55 3m 57s
Merge branch 'topic/fix_os' into '24.0' Build #174: Commit ebdbafb pushed by adacore-bot
September 24, 2024 07:52 3m 18s 24.0
24.0
September 24, 2024 07:52 3m 18s
Merge branch 'topic/ada2022' into 'master' Build #173: Commit 2642bd6 pushed by adacore-bot
September 24, 2024 06:49 3m 21s 24-sustained
24-sustained
September 24, 2024 06:49 3m 21s
Merge branch 'topic/kill' into 'master' Build #172: Commit 7149d43 pushed by adacore-bot
May 21, 2024 11:53 14m 56s master
master
May 21, 2024 11:53 14m 56s
Merge branch 'topic/ada2022' into 'master' Build #171: Commit 2642bd6 pushed by adacore-bot
May 17, 2024 09:42 3m 18s 24.2
24.2
May 17, 2024 09:42 3m 18s