Workflow runs · AdaCore/training_material · GitHub

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows

2,225 workflow runs

2,225 workflow runs

Part of intermediate LKQL module CI #5131: Commit 1f290fb pushed by adacore-bot

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

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

26m 28s

More fixes per review CI #5130: Commit a3a8a5c pushed by adacore-bot

20m 5s mr/584-background-color-for-code-blocks

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

20m 5s

Fixes per review comments CI #5129: Commit 5e4ab49 pushed by adacore-bot

18m 53s mr/582-apply-formatting-updates-to-spark-course

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

18m 53s

Final set of fixes for this go-round CI #5128: Commit 0c305f7 pushed by adacore-bot

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

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

27m 33s

Updates per review comments CI #5127: Commit aac516a pushed by adacore-bot

17m 29s 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

17m 29s

Apply 4 suggestion(s) to 1 file(s) CI #5126: Commit 3e792ad pushed by adacore-bot

20s 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

20s

Add syntax definitions for LKQL CI #5125: Commit 0434a1d pushed by adacore-bot

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

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

26m 37s

Complete slides for building a simple rule CI #5124: Commit 7fb6fd8 pushed by adacore-bot

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

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

28m 0s

Merge branch 'mr/251-spark-tools-module-lab-should-be-much-simpler' i… CI #5123: Commit 2fa699d pushed by adacore-bot

27m 4s master

master

27m 4s

First part of Introduction to LKQL CI #5122: Commit b9c0ac3 pushed by adacore-bot

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

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

27m 19s

Move current LKQL chapter to become Advanced CI #5121: Commit 96f33c7 pushed by adacore-bot

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

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

21m 56s

Merge branch 'mr/530-rust-essentials-no-you-in-content' into 'master' CI #5120: Commit 9c4d00a 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

Add Introduction and Summary CI #5119: Commit 3ef57c9 pushed by adacore-bot

29m 0s mr/642-develop-a-module-for-test

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

29m 0s

Remove unused images CI #5118: Commit f0a5668 pushed by adacore-bot

26m 44s mr/580-verify-spark-course-images

mr/580-verify-spark-course-images

26m 44s

Precondition checks for valid indexes OR zero-length array CI #5117: Commit f522c37 pushed by adacore-bot

14m 13s mr/577-apply-style-guide-updates-to-spark-course

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

14m 13s

Clarify location of quiz code CI #5116: Commit 9d20dc6 pushed by adacore-bot

25m 49s mr/365-use_code_block_font_size_for_ada_essentials

mr/365-use_code_block_font_size_for_ada_essentials

25m 49s

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