Workflow runs · AdaCore/adareducer · GitHub

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows

5 workflow runs

5 workflow runs

Merge branch 'gs_511' into 'master' GitHub Actions Demo #80: Commit eb523bc pushed by adacore-bot

1d 0h 0m 2s 26.1

26.1

1d 0h 0m 2s

Merge branch 'gs_511' into 'master' GitHub Actions Demo #79: Commit eb523bc pushed by adacore-bot

1d 0h 0m 1s 26.0

26.0

1d 0h 0m 1s

Merge branch 'mr/adjust_tests_25.1' into '25.1' GitHub Actions Demo #78: Commit a360ffc pushed by adacore-bot

1d 0h 0m 1s 25-sustained

25-sustained

1d 0h 0m 1s

Merge branch 'gs_511' into 'master' GitHub Actions Demo #77: Commit eb523bc pushed by adacore-bot

1d 0h 0m 1s master

master

1d 0h 0m 1s

Merge branch 'mr/adjust_tests_25.1' into '25.1' GitHub Actions Demo #76: Commit a360ffc pushed by adacore-bot

1d 0h 0m 2s 25.2

25.2

1d 0h 0m 2s