Workflow runs · AdaCore/training_material · GitHub

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows

2,289 workflow runs

2,289 workflow runs

Clarify where predicate is checked CI #5115: Commit d5fa9f9 pushed by adacore-bot

18m 50s mr/566-minor-updates-from-2026-07-06-training

mr/566-minor-updates-from-2026-07-06-training

18m 50s

Prover "error" messages should use error formatting CI #5114: Commit 50dfcc2 pushed by adacore-bot

17m 52s mr/586-replace-color-red-usage-with-code-blocks

mr/586-replace-color-red-usage-with-code-blocks

17m 52s

Apply 3 suggestion(s) to 3 file(s) CI #5113: Commit 09c6f09 pushed by adacore-bot

26m 52s mr/566-minor-updates-from-2026-07-06-training

mr/566-minor-updates-from-2026-07-06-training

26m 52s

Apply 3 suggestion(s) to 2 file(s) CI #5112: Commit 4cf6647 pushed by adacore-bot

26m 14s mr/582-apply-formatting-updates-to-spark-course

mr/582-apply-formatting-updates-to-spark-course

26m 14s

Clean Rust glossary.md for Agent Skills CI #5111: Commit 96d53f7 pushed by adacore-bot

28m 46s mr/520-standardize-rust-terminology-glossary-items-fields-elements-etc

mr/520-standardize-rust-terminology-glossary-items-fields-elements-etc

28m 46s

Refactor Rust glossary to Agent Skills standard CI #5110: Commit 3b8ec83 pushed by adacore-bot

26m 36s mr/520-standardize-rust-terminology-glossary-items-fields-elements-etc

mr/520-standardize-rust-terminology-glossary-items-fields-elements-etc

26m 36s

Move glossary.md into glossary folder CI #5109: Commit bad1d06 pushed by adacore-bot

29m 16s mr/520-standardize-rust-terminology-glossary-items-fields-elements-etc

mr/520-standardize-rust-terminology-glossary-items-fields-elements-etc

29m 16s

Apply 3 suggestion(s) to 1 file(s) CI #5108: Commit 297b06b pushed by adacore-bot

26m 26s mr/272-refine-slide-variant-records-for-better-readability-2

mr/272-refine-slide-variant-records-for-better-readability-2

26m 26s

Apply 1 suggestion(s) to 1 file(s) CI #5107: Commit a5ca7f5 pushed by adacore-bot

27m 55s mr/621-type-invariants-slide-should-more-clearly-state-this-is-for-private-types

mr/621-type-invariants-slide-should-more-clearly-state-this-is-for-private-types

27m 55s

Fixes per review comments CI #5106: Commit b37ed58 pushed by adacore-bot

26m 39s mr/566-minor-updates-from-2026-07-06-training

mr/566-minor-updates-from-2026-07-06-training

26m 39s

Apply 1 suggestion(s) to 1 file(s) CI #5105: Commit 2865856 pushed by adacore-bot

15m 21s mr/577-apply-style-guide-updates-to-spark-course

mr/577-apply-style-guide-updates-to-spark-course

15m 21s

Changes per review comments CI #5104: Commit f78758d pushed by adacore-bot

17m 44s mr/365-use_code_block_font_size_for_ada_essentials

mr/365-use_code_block_font_size_for_ada_essentials

17m 44s

Updates per review comments CI #5103: Commit 383a1e1 pushed by adacore-bot

28m 47s mr/582-apply-formatting-updates-to-spark-course

mr/582-apply-formatting-updates-to-spark-course

28m 47s

Changes per review comments CI #5102: Commit 9b560e8 pushed by adacore-bot

26m 24s mr/586-replace-color-red-usage-with-code-blocks

mr/586-replace-color-red-usage-with-code-blocks

26m 24s

Fix Box<T> large-data example and clarify ownership transfer CI #5101: Commit 5d0a89e pushed by adacore-bot

15m 8s mr/521-rework-box-t-x-large-data-slide

mr/521-rework-box-t-x-large-data-slide

15m 8s

Updates per review comments CI #5100: Commit 30fbbdc pushed by adacore-bot

17m 45s mr/566-minor-updates-from-2026-07-06-training

mr/566-minor-updates-from-2026-07-06-training

17m 45s

Merge branch 'mr/530-rust-essentials-no-you-in-content' into 'master' CI #5099: Commit 9c4d00a pushed by adacore-bot

14m 2s mr/521-rework-box-t-x-large-data-slide

mr/521-rework-box-t-x-large-data-slide

14m 2s

Add review prompt CI #5098: Commit b0620f2 pushed by adacore-bot

22m 54s mr/520-standardize-rust-terminology-glossary-items-fields-elements-etc

mr/520-standardize-rust-terminology-glossary-items-fields-elements-etc

22m 54s

Restore (and fix) ownership example CI #5097: Commit f2a65b1 pushed by adacore-bot

27m 49s mr/648-generate-materials-for-g-2603-0051-pat-eu-rust

mr/648-generate-materials-for-g-2603-0051-pat-eu-rust

27m 49s

Merge branch 'mr/530-rust-essentials-no-you-in-content' into 'master' CI #5096: Commit 9c4d00a pushed by adacore-bot

27m 16s mr/648-generate-materials-for-g-2603-0051-pat-eu-rust

mr/648-generate-materials-for-g-2603-0051-pat-eu-rust

27m 16s

Fix terminology issues in the Rust glossary CI #5095: Commit 4dbf9bc pushed by adacore-bot

26m 15s mr/520-standardize-rust-terminology-glossary-items-fields-elements-etc

mr/520-standardize-rust-terminology-glossary-items-fields-elements-etc

26m 15s

docs(rust-essentials): adopt date-based glossary versioning CI #5094: Commit c5d586d pushed by adacore-bot

26m 55s mr/520-standardize-rust-terminology-glossary-items-fields-elements-etc

mr/520-standardize-rust-terminology-glossary-items-fields-elements-etc

26m 55s

Expand on Simple Test CI #5093: Commit 6ae4491 pushed by adacore-bot

18m 22s mr/642-develop-a-module-for-test

mr/642-develop-a-module-for-test

18m 22s

Merge branch 'mr/530-rust-essentials-no-you-in-content' into 'master' CI #5092: Commit 9c4d00a pushed by adacore-bot

26m 24s master

master

26m 24s

Add chapter on validating test results CI #5091: Commit fa9ce78 pushed by adacore-bot

27m 15s mr/642-develop-a-module-for-test

mr/642-develop-a-module-for-test

27m 15s