Skip to content

Actions: AdaCore/training_material

Actions

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
main.yaml
1,233 workflow runs
1,233 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Use white text CI #3044: Commit 2fce6c4 pushed by adacore-bot
September 2, 2025 18:00 21m 42s mr/256-convert-subprograms_accessing_global-png
mr/256-convert-subprograms_accessing_global-png
September 2, 2025 18:00 21m 42s
Fixes due to svg issues CI #3043: Commit ee20b34 pushed by adacore-bot
September 2, 2025 17:53 22m 9s mr/262-convert-block_scope_example-jpeg
mr/262-convert-block_scope_example-jpeg
September 2, 2025 17:53 22m 9s
Fix 'href' processing because it doesn't really work well CI #3042: Commit 2e0e125 pushed by adacore-bot
September 2, 2025 17:43 21m 54s mr/301-create_addendum
mr/301-create_addendum
September 2, 2025 17:43 21m 54s
Use better identifiers CI #3041: Commit 996719e pushed by adacore-bot
September 2, 2025 14:39 21m 45s mr/262-convert-block_scope_example-jpeg
mr/262-convert-block_scope_example-jpeg
September 2, 2025 14:39 21m 45s
feat: Move Scalar Types -Intro- Slide into Recap CI #3040: Commit 7a38547 pushed by adacore-bot
September 1, 2025 14:05 21m 31s mr/313-move-scalar-types-intro-slide-into-recap
mr/313-move-scalar-types-intro-slide-into-recap
September 1, 2025 14:05 21m 31s
feat:Adding -standard_course.txt- to GnatSAS and GnatDAS modules CI #3039: Commit c8c0f75 pushed by adacore-bot
September 1, 2025 13:56 21m 35s mr/341-adding-standard_course-txt-to-gnatsas-and-gnatdas-modules
mr/341-adding-standard_course-txt-to-gnatsas-and-gnatdas-modules
September 1, 2025 13:56 21m 35s
Merge branch 'mr/277-modify-confusing-slide-title-for-predefined-type… CI #3038: Commit a3df259 pushed by adacore-bot
September 1, 2025 13:39 23m 0s mr/313-move-scalar-types-intro-slide-into-recap
mr/313-move-scalar-types-intro-slide-into-recap
September 1, 2025 13:39 23m 0s
Merge branch 'mr/277-modify-confusing-slide-title-for-predefined-type… CI #3037: Commit a3df259 pushed by adacore-bot
September 1, 2025 09:50 21m 58s mr/341-adding-standard_course-txt-to-gnatsas-and-gnatdas-modules
mr/341-adding-standard_course-txt-to-gnatsas-and-gnatdas-modules
September 1, 2025 09:50 21m 58s
Update per review comments CI #3036: Commit 1ad9d8b pushed by adacore-bot
August 28, 2025 21:10 21m 48s mr/301-create_addendum
mr/301-create_addendum
August 28, 2025 21:10 21m 48s
Convert subprograms_accesing_global image to SVG CI #3035: Commit 9caaca5 pushed by adacore-bot
August 28, 2025 19:28 22m 4s mr/256-convert-subprograms_accessing_global-png
mr/256-convert-subprograms_accessing_global-png
August 28, 2025 19:28 22m 4s
Apply 4 suggestion(s) to 1 file(s) CI #3034: Commit 8480eb8 pushed by adacore-bot
August 28, 2025 17:53 21m 26s mr/322-statements-lab-remove-console-input
mr/322-statements-lab-remove-console-input
August 28, 2025 17:53 21m 26s
Merge branch 'mr/277-modify-confusing-slide-title-for-predefined-type… CI #3033: Commit a3df259 pushed by adacore-bot
August 28, 2025 13:07 21m 45s master
master
August 28, 2025 13:07 21m 45s
Resolve merge conflicts CI #3032: Commit 910fb5a pushed by adacore-bot
August 28, 2025 09:54 16m 44s mr/273-refine-explanations-for-answer-in-record-types-aggregates-quizz
mr/273-refine-explanations-for-answer-in-record-types-aggregates-quizz
August 28, 2025 09:54 16m 44s
Merge branch 'mr/261-convert-identifier_flow-png' into 'master' CI #3031: Commit 2b4ffc5 pushed by adacore-bot
August 28, 2025 02:50 21m 32s mr/256-convert-subprograms_accessing_global-png
mr/256-convert-subprograms_accessing_global-png
August 28, 2025 02:50 21m 32s
Add GNAT in Practice (addendum) module CI #3030: Commit 050e7bd pushed by adacore-bot
August 27, 2025 19:17 21m 49s mr/301-create_addendum
mr/301-create_addendum
August 27, 2025 19:17 21m 49s
Merge branch 'mr/261-convert-identifier_flow-png' into 'master' CI #3029: Commit 2b4ffc5 pushed by adacore-bot
August 27, 2025 17:43 21m 30s mr/301-create_addendum
mr/301-create_addendum
August 27, 2025 17:43 21m 30s
Improve statements lab to remove user input CI #3028: Commit 67ba04e pushed by adacore-bot
August 27, 2025 17:36 21m 36s mr/322-statements-lab-remove-console-input
mr/322-statements-lab-remove-console-input
August 27, 2025 17:36 21m 36s
Merge branch 'mr/261-convert-identifier_flow-png' into 'master' CI #3027: Commit 2b4ffc5 pushed by adacore-bot
August 27, 2025 15:42 21m 27s mr/322-statements-lab-remove-console-input
mr/322-statements-lab-remove-console-input
August 27, 2025 15:42 21m 27s
Statement lab rewritten to not require user input CI #3026: Commit 6712bd2 pushed by adacore-bot
August 27, 2025 14:59 22m 32s mr/322-update-statements-lab-to-remove-console-input
mr/322-update-statements-lab-to-remove-console-input
August 27, 2025 14:59 22m 32s
Resolve "Convert "identifier_flow.png"" CI #3025: Commit 6ecfcf8 pushed by adacore-bot
August 27, 2025 14:16 21m 44s mr/322-update-statements-lab-to-remove-console-input
mr/322-update-statements-lab-to-remove-console-input
August 27, 2025 14:16 21m 44s
Replace JPEG with SVG CI #3024: Commit 516e657 pushed by adacore-bot
August 27, 2025 04:42 21m 34s mr/262-convert-block_scope_example-jpeg
mr/262-convert-block_scope_example-jpeg
August 27, 2025 04:42 21m 34s
Merge branch 'mr/261-convert-identifier_flow-png' into 'master' CI #3023: Commit 2b4ffc5 pushed by adacore-bot
August 26, 2025 18:10 21m 21s mr/262-convert-block_scope_example-jpeg
mr/262-convert-block_scope_example-jpeg
August 26, 2025 18:10 21m 21s
A little more cleanup on core vs special CI #3022: Commit c69eefe pushed by adacore-bot
August 26, 2025 16:58 22m 47s mr/302-remove-3-core-language-description-slides
mr/302-remove-3-core-language-description-slides
August 26, 2025 16:58 22m 47s
Remove unused setup chapter CI #3021: Commit cb1eb0f pushed by adacore-bot
August 26, 2025 16:49 21m 24s mr/340-remove-hello-world-stuff-from-overview-module
mr/340-remove-hello-world-stuff-from-overview-module
August 26, 2025 16:49 21m 24s
Merge branch 'mr/261-convert-identifier_flow-png' into 'master' CI #3020: Commit 2b4ffc5 pushed by adacore-bot
August 26, 2025 16:18 21m 39s mr/340-remove-hello-world-stuff-from-overview-module
mr/340-remove-hello-world-stuff-from-overview-module
August 26, 2025 16:18 21m 39s