Workflow runs · AdaCore/training_material · GitHub

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows

2,174 workflow runs

2,174 workflow runs

Merge branch 'mr/528-println-on-slide-should-have-text-in-command-rol… CI #4662: Commit fc2a60d pushed by adacore-bot

25m 31s mr/530-rust-essentials-no-you-in-content

mr/530-rust-essentials-no-you-in-content

25m 31s

Rename modules to match title CI #4661: Commit 6c3e362 pushed by adacore-bot

25m 9s mr/533-course-content-file-names-should-match-file-title

mr/533-course-content-file-names-should-match-file-title

25m 9s

Merge branch 'mr/528-println-on-slide-should-have-text-in-command-rol… CI #4660: Commit fc2a60d pushed by adacore-bot

26m 37s mr/533-course-content-file-names-should-match-file-title

mr/533-course-content-file-names-should-match-file-title

26m 37s

Merge remote-tracking branch 'origin/master' into mr/515-implement-ba… CI #4659: Commit c817632 pushed by adacore-bot

27m 59s mr/515-implement-background-color-for-inline-code

mr/515-implement-background-color-for-inline-code

27m 59s

Remove advanced exceptions analysis properties dialog image CI #4658: Commit 40c1404 pushed by adacore-bot

25m 1s mr/536-remove-references-to-gnat-studio-properties-from-course-materials

mr/536-remove-references-to-gnat-studio-properties-from-course-materials

25m 1s

Update slides to remove "Project Properties" menu actions CI #4657: Commit 6e53050 pushed by adacore-bot

20m 58s mr/536-remove-references-to-gnat-studio-properties-from-course-materials

mr/536-remove-references-to-gnat-studio-properties-from-course-materials

20m 58s

Fix comments CI #4656: Commit 4a1c582 pushed by adacore-bot

25m 5s mr/519-update-rust-essentials-slides-following-feng-internal-feedback

mr/519-update-rust-essentials-slides-following-feng-internal-feedback

25m 5s

Merge branch 'mr/528-println-on-slide-should-have-text-in-command-rol… CI #4655: Commit fc2a60d pushed by adacore-bot

25m 46s mr/536-remove-references-to-gnat-studio-properties-from-course-materials

mr/536-remove-references-to-gnat-studio-properties-from-course-materials

25m 46s

Merge branch 'mr/528-println-on-slide-should-have-text-in-command-rol… CI #4654: Commit fc2a60d pushed by adacore-bot

26m 28s master

master

26m 28s

Merge remote-tracking branch 'origin/master' into mr/460-update-rust-… CI #4653: Commit 35fd3ff pushed by adacore-bot

21m 11s mr/460-update-rust-essentials-to-explain-file-naming-conventions

mr/460-update-rust-essentials-to-explain-file-naming-conventions

21m 11s

Merge remote-tracking branch 'origin/master' into mr/342-rephrasing-q… CI #4652: Commit 573ddc1 pushed by adacore-bot

25m 40s mr/342-rephrasing-quiz-opening-statements

mr/342-rephrasing-quiz-opening-statements

25m 40s

Merge remote-tracking branch 'origin/master' into mr/532-remove-refer… CI #4651: Commit daf871a pushed by adacore-bot

16m 42s mr/532-remove-references-to-rust-unless-absolutely-necessary

mr/532-remove-references-to-rust-unless-absolutely-necessary

16m 42s

Trigger material generation CI #4650: Commit 46030a8 pushed by adacore-bot

16m 34s mr/537-generate-slides-for-internal-rust-training-2026-session-1

mr/537-generate-slides-for-internal-rust-training-2026-session-1

16m 34s

Merge branch 'mr/527-enforce-line-endings-policy-via-gitattributes-an… CI #4649: Commit e5d710a pushed by adacore-bot

17m 37s mr/537-generate-slides-for-internal-rust-training-2026-session-1

mr/537-generate-slides-for-internal-rust-training-2026-session-1

17m 37s

Fix comments CI #4648: Commit 4dde4f2 pushed by adacore-bot

25m 54s mr/519-update-rust-essentials-slides-following-feng-internal-feedback

mr/519-update-rust-essentials-slides-following-feng-internal-feedback

25m 54s

Bad previous fix CI #4647: Commit 48092c0 pushed by adacore-bot

27m 32s mr/528-println-on-slide-should-have-text-in-command-role-somewhere

mr/528-println-on-slide-should-have-text-in-command-role-somewhere

27m 32s

Merge remote-tracking branch 'origin/master' into mr/528-println-on-s… CI #4646: Commit 71f317e pushed by adacore-bot

5m 2s mr/528-println-on-slide-should-have-text-in-command-role-somewhere

mr/528-println-on-slide-should-have-text-in-command-role-somewhere

5m 2s

Merge branch 'mr/527-enforce-line-endings-policy-via-gitattributes-an… CI #4645: Commit e5d710a pushed by adacore-bot

25m 2s master

master

25m 2s

Fix comments CI #4644: Commit e1564ba pushed by adacore-bot

28m 55s mr/519-update-rust-essentials-slides-following-feng-internal-feedback

mr/519-update-rust-essentials-slides-following-feng-internal-feedback

28m 55s

Add .gitattributes + normalize line endings when needed CI #4643: Commit 029411a pushed by adacore-bot

20m 37s mr/527-enforce-line-endings-policy-via-gitattributes-and-renormalize-repository

mr/527-enforce-line-endings-policy-via-gitattributes-and-renormalize-repository

20m 37s

Merge branch 'mr/525-consistent-use-of-preconditon-postcondition' int… CI #4642: Commit 2b6bd72 pushed by adacore-bot

25m 18s master

master

25m 18s

Updates per review comments CI #4641: Commit 9c94f43 pushed by adacore-bot

24m 45s mr/532-remove-references-to-rust-unless-absolutely-necessary

mr/532-remove-references-to-rust-unless-absolutely-necessary

24m 45s

Need to escape brackets CI #4640: Commit 72372fd pushed by adacore-bot

25m 26s mr/528-println-on-slide-should-have-text-in-command-role-somewhere

mr/528-println-on-slide-should-have-text-in-command-role-somewhere

25m 26s

Replace many instances of "Rust" in slides CI #4639: Commit 848a762 pushed by adacore-bot

25m 11s mr/532-remove-references-to-rust-unless-absolutely-necessary

mr/532-remove-references-to-rust-unless-absolutely-necessary

25m 11s

Merge branch 'mr/517-update-rust-essentials-slides-following-mbda-fee… CI #4638: Commit bd21509 pushed by adacore-bot

24m 42s mr/532-remove-references-to-rust-unless-absolutely-necessary

mr/532-remove-references-to-rust-unless-absolutely-necessary

24m 42s