Skip to content

Actions: AdaCore/spawn

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
8 workflow runs
8 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge branch 'topic/kill' into 'master'
Build #172: Commit 7149d43 pushed by adacore-bot
May 21, 2024 11:53 14m 56s 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
May 17, 2024 09:42 3m 18s
Merge branch 'feature/Wrap_OS_gpr_external' into 'master'
Build #168: Commit 806ae6d pushed by adacore-bot
November 29, 2023 08:16 6m 1s master
November 29, 2023 08:16 6m 1s
Replace license files, fix README.md, add alire.toml
Build #167: Commit 8a3afa2 pushed by adacore-bot
November 29, 2023 08:16 3m 53s 23-sustained
November 29, 2023 08:16 3m 53s
Merge branch 'topic/ada2022' into 'master'
Build #166: Commit 2642bd6 pushed by adacore-bot
November 14, 2023 09:53 3m 19s v24.0.0
November 14, 2023 09:53 3m 19s
Merge branch 'topic/ada2022' into 'master'
Build #165: Commit 2642bd6 pushed by adacore-bot
November 14, 2023 09:53 3m 27s 24.1
November 14, 2023 09:53 3m 27s
Merge branch 'topic/ada2022' into 'master'
Build #164: Commit 2642bd6 pushed by adacore-bot
November 14, 2023 09:53 3m 53s 24.0
November 14, 2023 09:53 3m 53s
Merge pull request #17 from AdaCore/topic/addresssanitizer_mode
Build #163: Commit da3b3cf pushed by brobecke
August 18, 2023 21:52 6m 12s lts-22
August 18, 2023 21:52 6m 12s