Workflow runs · AdaCore/training_material · GitHub

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows

2,260 workflow runs

2,260 workflow runs

Fixes per review comments CI #5052: Commit 096c4f2 pushed by adacore-bot

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

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

26m 16s

Fixes per review comments CI #5051: Commit b2b5ebc pushed by adacore-bot

28m 8s mr/577-apply-style-guide-updates-to-spark-course

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

28m 8s

Fixes per review comments CI #5050: Commit e541fb0 pushed by adacore-bot

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

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

27m 17s

Updates per review comments CI #5049: Commit 84be8b8 pushed by adacore-bot

27m 7s mr/584-background-color-for-code-blocks

mr/584-background-color-for-code-blocks

27m 7s

Apply suggestion CI #5048: Commit 429ef33 pushed by adacore-bot

48m 12s mr/559-develop-a-module-for-unsafe-rust

mr/559-develop-a-module-for-unsafe-rust

48m 12s

Merge branch 'mr/616-pre-postcondition-graphic-is-not-accurate-to-the… CI #5047: Commit cb93791 pushed by adacore-bot

27m 21s training/2026-09-14-frank_binkley

training/2026-09-14-frank_binkley

27m 21s

Merge branch 'mr/616-pre-postcondition-graphic-is-not-accurate-to-the… CI #5046: Commit cb93791 pushed by adacore-bot

27m 22s master

master

27m 22s

Merge branch 'mr/610-interfacing-with-c-parameter-modes-slide-is-wron… CI #5045: Commit 92df30f pushed by adacore-bot

28m 47s master

master

28m 47s

Fix typo CI #5044: Commit 8f01145 pushed by adacore-bot

22m 12s mr/616-pre-postcondition-graphic-is-not-accurate-to-the-timeline

mr/616-pre-postcondition-graphic-is-not-accurate-to-the-timeline

22m 12s

Fix due to github build differences CI #5043: Commit 806c479 pushed by adacore-bot

17m 29s mr/616-pre-postcondition-graphic-is-not-accurate-to-the-timeline

mr/616-pre-postcondition-graphic-is-not-accurate-to-the-timeline

17m 29s

Make new diagram more readable CI #5042: Commit 00998bc pushed by adacore-bot

22m 51s mr/616-pre-postcondition-graphic-is-not-accurate-to-the-timeline

mr/616-pre-postcondition-graphic-is-not-accurate-to-the-timeline

22m 51s

Fix casing of Interfaces.C CI #5041: Commit a621a01 pushed by adacore-bot

28m 38s mr/610-interfacing-with-c-parameter-modes-slide-is-wrong-incomplete

mr/610-interfacing-with-c-parameter-modes-slide-is-wrong-incomplete

28m 38s

Clarify pass-by-copy parameter CI #5040: Commit d980dfa pushed by adacore-bot

26m 23s mr/610-interfacing-with-c-parameter-modes-slide-is-wrong-incomplete

mr/610-interfacing-with-c-parameter-modes-slide-is-wrong-incomplete

26m 23s

Merge branch 'mr/623-package-names-don-t-correlate-exactly-between-la… CI #5039: Commit 5a3c920 pushed by adacore-bot

27m 35s master

master

27m 35s

Merge branch 'mr/629-make-note-a-note-box-on-the-simple-case-statemen… CI #5038: Commit 6063ea4 pushed by adacore-bot

26m 50s master

master

26m 50s

Merge branch 'mr/608-type-derivation-primitives-quiz-this-is-still-sh… CI #5037: Commit 55ed22d pushed by adacore-bot

29m 43s master

master

29m 43s

Merge branch 'mr/602-conditional-statements-quiz-explanations-should-… CI #5036: Commit 9878e74 pushed by adacore-bot

24m 39s master

master

24m 39s

Merge branch 'mr/613-remove-ada-2005-mention-for-overriding-indicator… CI #5035: Commit 540e266 pushed by adacore-bot

27m 19s master

master

27m 19s

[+] Add note about type derivation CI #5034: Commit 72d1c03 pushed by adacore-bot

28m 58s mr/630-rename-slide-for-clarity-difference-with-simple-derivation

mr/630-rename-slide-for-clarity-difference-with-simple-derivation

28m 58s

Merge branch 'mr/606-record-types-lab-terminology-is-confusing' into … CI #5033: Commit 4a5c191 pushed by adacore-bot

15m 59s mr/630-rename-slide-for-clarity-difference-with-simple-derivation

mr/630-rename-slide-for-clarity-difference-with-simple-derivation

15m 59s

[!] Change note (italics) to note (box) CI #5032: Commit d86d55f pushed by adacore-bot

32m 5s mr/629-make-note-a-note-box-on-the-simple-case-statements-slide

mr/629-make-note-a-note-box-on-the-simple-case-statements-slide

32m 5s

Merge branch 'mr/606-record-types-lab-terminology-is-confusing' into … CI #5031: Commit 4a5c191 pushed by adacore-bot

27m 52s mr/629-make-note-a-note-box-on-the-simple-case-statements-slide

mr/629-make-note-a-note-box-on-the-simple-case-statements-slide

27m 52s

Merge branch 'mr/606-record-types-lab-terminology-is-confusing' into … CI #5030: Commit 4a5c191 pushed by adacore-bot

46m 28s master

master

46m 28s

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

36m 51s mr/623-package-names-don-t-correlate-exactly-between-lab-slide-and-lab-code-private-types

mr/623-package-names-don-t-correlate-exactly-between-lab-slide-and-lab-code-private-types

36m 51s

Apply 2 suggestion(s) to 2 file(s) CI #5028: Commit 9a1a219 pushed by adacore-bot

29m 21s mr/566-minor-updates-from-2026-07-06-training

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

29m 21s