Skip to content

Actions: AdaCore/adareducer

Actions

GitHub Actions Demo

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
15 workflow runs
15 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge branch 'gs_511' into 'master'
GitHub Actions Demo #90: Commit eb523bc pushed by adacore-bot
1d 0h 0m 2s release/26.1
Merge branch 'topic/ci' into 'master'
GitHub Actions Demo #88: Commit 840de7d pushed by adacore-bot
1d 0h 0m 2s release/24.1
Merge branch 'gs_511' into 'master'
GitHub Actions Demo #86: Commit eb523bc pushed by adacore-bot
1d 0h 0m 1s release/26.0
Merge branch 'topic/ci' into 'master'
GitHub Actions Demo #84: Commit 840de7d pushed by adacore-bot
1d 0h 0m 11s release/24.0
Merge branch 'gs_511' into 'master'
GitHub Actions Demo #82: Commit eb523bc pushed by adacore-bot
1d 0h 0m 11s 26.2
Merge branch 'gs_511' into 'master'
GitHub Actions Demo #81: Commit eb523bc pushed by adacore-bot
1d 0h 0m 2s 26-sustained
Merge branch 'gs_511' into 'master'
GitHub Actions Demo #80: Commit eb523bc pushed by adacore-bot
1d 0h 0m 2s 26.1
Merge branch 'gs_511' into 'master'
GitHub Actions Demo #79: Commit eb523bc pushed by adacore-bot
1d 0h 0m 1s 26.0