Workflow runs · AdaCore/training_material · GitHub

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows

2,175 workflow runs

2,175 workflow runs

Remove unused 210_unsafe_rust module CI #4712: Commit b31fabf pushed by adacore-bot

15m 15s mr/555-develop-a-module-template-structure-for-embedded-rust

mr/555-develop-a-module-template-structure-for-embedded-rust

15m 15s

Embedded Rust structure CI #4711: Commit 65707e9 pushed by adacore-bot

26m 23s mr/555-develop-a-module-template-structure-for-embedded-rust

mr/555-develop-a-module-template-structure-for-embedded-rust

26m 23s

Merge branch 'mr/460-update-rust-essentials-to-explain-file-naming-co… CI #4710: Commit 2291f37 pushed by adacore-bot

6m 12s mr/555-develop-a-module-template-structure-for-embedded-rust

mr/555-develop-a-module-template-structure-for-embedded-rust

6m 12s

Add source for subprogram contracts lab CI #4709: Commit 358a1a8 pushed by adacore-bot

25m 43s mr/253-subprogram-contracts-module-should-be-improved

mr/253-subprogram-contracts-module-should-be-improved

25m 43s

Merge branch 'mr/460-update-rust-essentials-to-explain-file-naming-co… CI #4708: Commit 2291f37 pushed by adacore-bot

25m 47s mr/253-subprogram-contracts-module-should-be-improved

mr/253-subprogram-contracts-module-should-be-improved

25m 47s

Merge branch 'mr/460-update-rust-essentials-to-explain-file-naming-co… CI #4707: Commit 2291f37 pushed by adacore-bot

25m 29s mr/544-subprogram-unit-should-show-how-to-define-an-operator-function

mr/544-subprogram-unit-should-show-how-to-define-an-operator-function

25m 29s

Change project file name in lab instructions CI #4706: Commit 1b0c17b pushed by adacore-bot

24m 17s mr/348-spark-labs-should-use-default-gpr-as-the-gpr-filename

mr/348-spark-labs-should-use-default-gpr-as-the-gpr-filename

24m 17s

Merge branch 'mr/460-update-rust-essentials-to-explain-file-naming-co… CI #4705: Commit 2291f37 pushed by adacore-bot

24m 58s mr/348-spark-labs-should-use-default-gpr-as-the-gpr-filename

mr/348-spark-labs-should-use-default-gpr-as-the-gpr-filename

24m 58s

push for syllabus CI #4704: Commit 224407b pushed by adacore-bot

24m 40s training/2026-07-06_Berkane

training/2026-07-06_Berkane

24m 40s

Merge branch 'mr/460-update-rust-essentials-to-explain-file-naming-co… CI #4703: Commit 2291f37 pushed by adacore-bot

24m 40s training/2026-07-06_Berkane

training/2026-07-06_Berkane

24m 40s

Merge branch 'mr/460-update-rust-essentials-to-explain-file-naming-co… CI #4702: Commit 2291f37 pushed by adacore-bot

25m 4s master

master

25m 4s

Convert incorrectly formatted error messages CI #4701: Commit 1c8010b pushed by adacore-bot

17m 30s mr/516-replace-error-and-other-output-blocks-with-code-blocks

mr/516-replace-error-and-other-output-blocks-with-code-blocks

17m 30s

Updates per review comments CI #4700: Commit 20e859d pushed by adacore-bot

26m 6s mr/529-error-in-comment-should-have-text-in-error-role-somewhere

mr/529-error-in-comment-should-have-text-in-error-role-somewhere

26m 6s

Merge branch 'mr/541-adjust-slides-in-exceptions-that-are-cropped' in… CI #4699: Commit aff6006 pushed by adacore-bot

25m 1s master

master

25m 1s

Fix truncated text CI #4698: Commit 8d8c516 pushed by adacore-bot

30m 57s mr/541-adjust-slides-in-exceptions-that-are-cropped

mr/541-adjust-slides-in-exceptions-that-are-cropped

30m 57s

Merge branch 'mr/540-correct-example-in-subprogram-contracts-about-pr… CI #4697: Commit 9191f85 pushed by adacore-bot

26m 4s master

master

26m 4s

Fix truncated text CI #4696: Commit fbf6d5e pushed by adacore-bot

25m 28s mr/541-adjust-slides-in-exceptions-that-are-cropped

mr/541-adjust-slides-in-exceptions-that-are-cropped

25m 28s

[!] First push! CI #4695: Commit 04dfcf2 pushed by adacore-bot

25m 39s mr/540-correct-example-in-subprogram-contracts-about-preventing-exceptions

mr/540-correct-example-in-subprogram-contracts-about-preventing-exceptions

25m 39s

Merge branch 'mr/365-use_code_block_font_size_for_rust_essentials' in… CI #4694: Commit e286b72 pushed by adacore-bot

24m 18s master

master

24m 18s

Merge branch 'mr/533-course-content-file-names-should-match-file-titl… CI #4693: Commit 71df364 pushed by adacore-bot

20m 3s master

master

20m 3s

Apply 2 suggestion(s) to 1 file(s) CI #4692: Commit 5fa8d22 pushed by adacore-bot

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

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

26m 17s

Merge remote-tracking branch 'origin/master' into mr/516-replace-erro… CI #4691: Commit c4f5137 pushed by adacore-bot

25m 47s mr/516-replace-error-and-other-output-blocks-with-code-blocks

mr/516-replace-error-and-other-output-blocks-with-code-blocks

25m 47s

Apply 2 suggestion(s) to 1 file(s) CI #4690: Commit e41ea31 pushed by adacore-bot

26m 11s mr/365-use_code_block_font_size_for_rust_essentials

mr/365-use_code_block_font_size_for_rust_essentials

26m 11s

Fix truncated text CI #4689: Commit 5663360 pushed by adacore-bot

25m 33s mr/541-adjust-slides-in-exceptions-that-are-cropped

mr/541-adjust-slides-in-exceptions-that-are-cropped

25m 33s

Merge branch 'mr/539-correct-grammatical-error-on-slide-import-export… CI #4688: Commit d9b2ab0 pushed by adacore-bot

27m 9s mr/541-adjust-slides-in-exceptions-that-are-cropped

mr/541-adjust-slides-in-exceptions-that-are-cropped

27m 9s