Workflow runs · AdaCore/training_material · GitHub

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows

2,223 workflow runs

2,223 workflow runs

Apply 13 suggestion(s) to 4 file(s) CI #5172: Commit 309039c pushed by adacore-bot

1m 35s mr/642-develop-a-module-for-test

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

1m 35s

Add explanation about multiline strings vs docstrings CI #5171: Commit 92e8ec9 pushed by adacore-bot

27m 44s mr/660-create-simple-lkql-chapter-in-gnatcheck-training

mr/660-create-simple-lkql-chapter-in-gnatcheck-training

27m 44s

Apply 3 suggestion(s) to 3 file(s) CI #5170: Commit ac18565 pushed by adacore-bot

1m 24s mr/660-create-simple-lkql-chapter-in-gnatcheck-training

mr/660-create-simple-lkql-chapter-in-gnatcheck-training

1m 24s

Address review feedback CI #5169: Commit 01ae22e pushed by adacore-bot

26m 36s mr/521-rework-box-t-x-large-data-slide

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

26m 36s

Fixes per review comments CI #5168: Commit 500700a pushed by adacore-bot

27m 16s mr/582-apply-formatting-updates-to-spark-course

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

27m 16s

Fixes per review comments CI #5167: Commit ff783ec pushed by adacore-bot

28m 2s mr/566-minor-updates-from-2026-07-06-training

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

28m 2s

Apply 2 suggestion(s) to 1 file(s) CI #5166: Commit 0ab1ec0 pushed by adacore-bot

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

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

10s

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

26m 21s mr/365-use_code_block_font_size_for_ada_essentials

mr/365-use_code_block_font_size_for_ada_essentials

26m 21s

Fix invisible BOM characters - Rust/Interoperability CI #5164: Commit 14720ea pushed by adacore-bot

27m 8s mr/564-develop-a-module-for-interoperability

mr/564-develop-a-module-for-interoperability

27m 8s

Fix chapter titles formatting - Rust/Interoperability CI #5163: Commit 0f1d93e pushed by adacore-bot

18m 15s mr/564-develop-a-module-for-interoperability

mr/564-develop-a-module-for-interoperability

18m 15s

Fixes per review comments CI #5162: Commit fd1a2a7 pushed by adacore-bot

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

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

26m 36s

Update GNAT SAS course to include new GNATcheck modules CI #5161: Commit 032c998 pushed by adacore-bot

27m 30s mr/660-create-simple-lkql-chapter-in-gnatcheck-training

mr/660-create-simple-lkql-chapter-in-gnatcheck-training

27m 30s

Fixes per review comments CI #5160: Commit 69850e5 pushed by adacore-bot

22m 35s mr/577-apply-style-guide-updates-to-spark-course

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

22m 35s

Fix issue introduced by merge CI #5159: Commit edd6323 pushed by adacore-bot

17m 27s mr/365-use_code_block_font_size_for_ada_essentials

mr/365-use_code_block_font_size_for_ada_essentials

17m 27s

Trigger pipeline CI #5158: Commit 00d6174 pushed by adacore-bot

26m 14s mr/564-develop-a-module-for-interoperability

mr/564-develop-a-module-for-interoperability

26m 14s

Address review feedback CI #5157: Commit 5f363d4 pushed by adacore-bot

27m 4s mr/521-rework-box-t-x-large-data-slide

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

27m 4s

Address feedback from MR, glossary, and PAT CI #5156: Commit 32d2f8e pushed by adacore-bot

21m 55s mr/521-rework-box-t-x-large-data-slide

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

21m 55s

Update GNAT SAS course to include new GNATcheck modules CI #5155: Commit 5ed1f1a pushed by adacore-bot

20m 59s mr/660-create-simple-lkql-chapter-in-gnatcheck-training

mr/660-create-simple-lkql-chapter-in-gnatcheck-training

20m 59s

Clarify where predicate is checked CI #5154: Commit 916847a pushed by adacore-bot

12m 1s mr/566-minor-updates-from-2026-07-06-training

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

12m 1s

Remove old advanced module CI #5153: Commit 9ef8527 pushed by adacore-bot

25m 25s mr/660-create-simple-lkql-chapter-in-gnatcheck-training

mr/660-create-simple-lkql-chapter-in-gnatcheck-training

25m 25s

Add Interoperability - glossary-reviewed Rust training module CI #5152: Commit f18f425 pushed by adacore-bot

21m 29s mr/564-develop-a-module-for-interoperability

mr/564-develop-a-module-for-interoperability

21m 29s

Add Interoperability - glossary-reviewed Rust training module CI #5151: Commit caa3a3b pushed by adacore-bot

10m 51s mr/564-develop-a-module-for-interoperability

mr/564-develop-a-module-for-interoperability

10m 51s

Merge branch 'mr/672-shrink-github-action-process-to-shrink-required-… CI #5150: Commit aab58b2 pushed by adacore-bot

26m 39s master

master

26m 39s

Update introduction and summary CI #5149: Commit d8c8acc pushed by adacore-bot

27m 2s mr/660-create-simple-lkql-chapter-in-gnatcheck-training

mr/660-create-simple-lkql-chapter-in-gnatcheck-training

27m 2s

Address feedback from MR, glossary, and PAT CI #5148: Commit 38ccedd pushed by adacore-bot

28m 32s mr/521-rework-box-t-x-large-data-slide

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

28m 32s