Workflow runs · AdaCore/training_material · GitHub

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows

2,158 workflow runs

2,158 workflow runs

Trying to see what an embedded image looks like in SVG CI #4844: Commit e4aa1b9 pushed by adacore-bot

25m 54s mr/580-spark-images-required-updates

mr/580-spark-images-required-updates

25m 54s

Merge branch 'mr/567-remove-user-input-from-expression-prompt-file' i… CI #4843: Commit ea393ee pushed by adacore-bot

25m 42s mr/580-spark-images-required-updates

mr/580-spark-images-required-updates

25m 42s

Merge branch 'mr/567-remove-user-input-from-expression-prompt-file' i… CI #4842: Commit ea393ee pushed by adacore-bot

25m 28s mr/580-verify-spark-course-images

mr/580-verify-spark-course-images

25m 28s

Move quizzes into appropriate chapter CI #4841: Commit 9cb3894 pushed by adacore-bot

25m 38s mr/578-spark-fix-quizzes-in-formal-methods-module

mr/578-spark-fix-quizzes-in-formal-methods-module

25m 38s

Merge branch 'mr/567-remove-user-input-from-expression-prompt-file' i… CI #4840: Commit ea393ee pushed by adacore-bot

27m 14s mr/578-spark-fix-quizzes-in-formal-methods-module

mr/578-spark-fix-quizzes-in-formal-methods-module

27m 14s

Fix confusing names CI #4839: Commit 1f571a2 pushed by adacore-bot

26m 26s mr/581-spark-course-incorrectly-using-filename-role

mr/581-spark-course-incorrectly-using-filename-role

26m 26s

Fix use of 'filename' role when we meant 'ada' CI #4838: Commit 599e3a5 pushed by adacore-bot

22m 35s mr/581-spark-course-incorrectly-using-filename-role

mr/581-spark-course-incorrectly-using-filename-role

22m 35s

Merge branch 'mr/567-remove-user-input-from-expression-prompt-file' i… CI #4837: Commit ea393ee pushed by adacore-bot

26m 33s mr/581-spark-course-incorrectly-using-filename-role

mr/581-spark-course-incorrectly-using-filename-role

26m 33s

Fix sizing issues CI #4836: Commit 1525d73 pushed by adacore-bot

24m 54s mr/582-apply-formatting-updates-to-spark-course

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

24m 54s

Add description of "output" and "error" blocks CI #4835: Commit 39c0782 pushed by adacore-bot

18m 5s mr/516-replace-error-and-other-output-blocks-with-code-blocks

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

18m 5s

Clean up Subprogram Contracts lab CI #4834: Commit 71e3f0a pushed by adacore-bot

26m 4s mr/253-improve-subprogram-contracts-module

mr/253-improve-subprogram-contracts-module

26m 4s

Updates per review comments CI #4833: Commit acf0b28 pushed by adacore-bot

26m 8s mr/239-error-on-conditional-evaluation-of-old

mr/239-error-on-conditional-evaluation-of-old

26m 8s

Merge branch 'mr/567-remove-user-input-from-expression-prompt-file' i… CI #4832: Commit ea393ee pushed by adacore-bot

16m 53s mr/563-develop-a-module-for-concurrency

mr/563-develop-a-module-for-concurrency

16m 53s

Better version of tutorial example CI #4831: Commit b85db76 pushed by adacore-bot

25m 24s mr/251-spark-tools-module-lab-should-be-much-simpler

mr/251-spark-tools-module-lab-should-be-much-simpler

25m 24s

Merge branch 'mr/567-remove-user-input-from-expression-prompt-file' i… CI #4830: Commit ea393ee pushed by adacore-bot

25m 54s mr/251-spark-tools-module-lab-should-be-much-simpler

mr/251-spark-tools-module-lab-should-be-much-simpler

25m 54s

Warning messages should be errors CI #4829: Commit 7922867 pushed by adacore-bot

25m 5s mr/582-apply-formatting-updates-to-spark-course

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

25m 5s

Merge branch 'mr/567-remove-user-input-from-expression-prompt-file' i… CI #4828: Commit ea393ee pushed by adacore-bot

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

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

26m 9s

Some minor tweaks CI #4827: Commit 25b74ee pushed by adacore-bot

26m 33s mr/577-apply-style-guide-updates-to-spark-course

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

26m 33s

Yet another attempt to fix title separators CI #4826: Commit 13bacb5 pushed by adacore-bot

25m 42s mr/515-implement-background-color-for-inline-code

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

25m 42s

[!]-push_5: corrections on mutable and constrained CI #4825: Commit 1104c51 pushed by adacore-bot

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

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

24m 48s

Moving quiz into module file CI #4824: Commit 9322403 pushed by adacore-bot

20m 27s mr/566-minor-updates-from-2026-07-06-training

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

20m 27s

More changes CI #4823: Commit eaa9e6f pushed by adacore-bot

25m 30s mr/566-minor-updates-from-2026-07-06-training

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

25m 30s

Last changes for day 1 CI #4822: Commit 05e94f0 pushed by adacore-bot

25m 56s mr/566-minor-updates-from-2026-07-06-training

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

25m 56s

Merge branch 'mr/567-remove-user-input-from-expression-prompt-file' i… CI #4821: Commit ea393ee pushed by adacore-bot

25m 38s mr/566-minor-updates-from-2026-07-06-training

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

25m 38s

Simpler and expanded example for 'Old CI #4820: Commit f54b8ba pushed by adacore-bot

25m 20s mr/239-error-on-conditional-evaluation-of-old

mr/239-error-on-conditional-evaluation-of-old

25m 20s