Skip to content

Actions: AdaCore/training_material

Actions

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
901 workflow runs
901 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

April 10, 2025 13:27 18m 50s
Minor tweaks
CI #2519: Commit 4ac8d2b pushed by adacore-bot
April 8, 2025 15:51 3m 28s slides/223-do-not-merge-2025-05-12
April 8, 2025 15:51 3m 28s
April 8, 2025 15:45 19m 26s
Merge branch 'readme-review' into 'master'
CI #2516: Commit c7e5ffc pushed by adacore-bot
April 8, 2025 12:42 18m 21s master
April 8, 2025 12:42 18m 21s
April 4, 2025 19:47 19m 5s
April 4, 2025 19:45 18m 56s