Skip to content

Actions: AdaCore/training_material

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
870 workflow runs
870 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Print definitions in a sorted order CI #2485: Commit 58b5391 pushed by adacore-bot
March 22, 2025 15:44 17m 24s slides/219-build_list_of_definitions
slides/219-build_list_of_definitions
March 22, 2025 15:44 17m 24s
Fix typo CI #2484: Commit dab5922 pushed by adacore-bot
March 21, 2025 20:01 17m 24s slides/219-build_list_of_definitions
slides/219-build_list_of_definitions
March 21, 2025 20:01 17m 24s
Remove pluralization to match previous definitions CI #2483: Commit b22dfb1 pushed by adacore-bot
March 21, 2025 19:28 17m 12s slides/219-build_list_of_definitions
slides/219-build_list_of_definitions
March 21, 2025 19:28 17m 12s
Merge branch 'slides/217-gnatstub_module' into 'master' CI #2482: Commit 72ae46e pushed by adacore-bot
March 21, 2025 18:34 17m 18s slides/219-build_list_of_definitions
slides/219-build_list_of_definitions
March 21, 2025 18:34 17m 18s
Add summary CI #2481: Commit 85b8c56 pushed by adacore-bot
March 20, 2025 20:05 17m 39s slides/217-create-gnatstack_module
slides/217-create-gnatstack_module
March 20, 2025 20:05 17m 39s
Add lab for GNATstack CI #2480: Commit c3b4cfc pushed by adacore-bot
March 20, 2025 19:10 17m 18s slides/217-create-gnatstack_module
slides/217-create-gnatstack_module
March 20, 2025 19:10 17m 18s
Finish up course slides CI #2479: Commit 3d3bf76 pushed by adacore-bot
March 19, 2025 20:03 18m 15s slides/217-create-gnatstack_module
slides/217-create-gnatstack_module
March 19, 2025 20:03 18m 15s
Put all other examples in same folder CI #2478: Commit 0a93291 pushed by adacore-bot
March 19, 2025 19:35 17m 27s slides/217-create-gnatstack_module
slides/217-create-gnatstack_module
March 19, 2025 19:35 17m 27s
Examples of issues gnatstack can detect CI #2477: Commit b14ab7c pushed by adacore-bot
March 18, 2025 19:44 18m 8s slides/217-create-gnatstack_module
slides/217-create-gnatstack_module
March 18, 2025 19:44 18m 8s
Add framework for GNATstack module CI #2476: Commit 8a33c3c pushed by adacore-bot
March 17, 2025 18:15 17m 21s slides/217-create-gnatstack_module
slides/217-create-gnatstack_module
March 17, 2025 18:15 17m 21s
Merge branch 'slides/217-gnatstub_module' into 'master' CI #2475: Commit 72ae46e pushed by adacore-bot
March 17, 2025 14:11 18m 50s slides/217-create-gnatstack_module
slides/217-create-gnatstack_module
March 17, 2025 14:11 18m 50s
Missed some conflicts CI #2474: Commit eec1d62 pushed by adacore-bot
March 17, 2025 14:06 19m 1s slides/209-process_include_statements
slides/209-process_include_statements
March 17, 2025 14:06 19m 1s
Merge remote-tracking branch 'origin/master' into slides/209-process_… CI #2473: Commit a115d0e pushed by adacore-bot
March 17, 2025 13:04 18m 3s slides/209-process_include_statements
slides/209-process_include_statements
March 17, 2025 13:04 18m 3s
Merge branch 'slides/217-gnatstub_module' into 'master' CI #2472: Commit 72ae46e pushed by adacore-bot
March 17, 2025 13:00 17m 21s master
master
March 17, 2025 13:00 17m 21s
Merge branch 'remove-unused-script' into 'master' CI #2471: Commit 13ce9ed pushed by adacore-bot
March 14, 2025 10:54 17m 36s master
master
March 14, 2025 10:54 17m 36s
Merge remote-tracking branch 'origin/master' into slides/131-replace-… CI #2470: Commit 9b5c727 pushed by adacore-bot
March 13, 2025 17:24 17m 5s slides/131-replace-field_and_element_in_other_courses
slides/131-replace-field_and_element_in_other_courses
March 13, 2025 17:24 17m 5s
Fix some typos CI #2469: Commit 660265a pushed by adacore-bot
March 13, 2025 17:19 18m 4s slides/217-gnatstub_module
slides/217-gnatstub_module
March 13, 2025 17:19 18m 4s
Finish first pass on updating exercises CI #2468: Commit 929fbcc pushed by adacore-bot
March 12, 2025 21:10 19m 23s slides/209-process_include_statements
slides/209-process_include_statements
March 12, 2025 21:10 19m 23s
Fix more exercises CI #2467: Commit 0036292 pushed by adacore-bot
March 12, 2025 18:28 17m 45s slides/209-process_include_statements
slides/209-process_include_statements
March 12, 2025 18:28 17m 45s
Verify prelude for new folder CI #2466: Commit c273573 pushed by adacore-bot
March 12, 2025 17:12 18m 52s slides/217-gnatstub_module
slides/217-gnatstub_module
March 12, 2025 17:12 18m 52s
Add training module for GNATstub CI #2465: Commit 701d8f8 pushed by adacore-bot
March 12, 2025 16:55 17m 32s slides/217-gnatstub_module
slides/217-gnatstub_module
March 12, 2025 16:55 17m 32s
Merge branch 'slides/remove-example-extract' into 'master' CI #2464: Commit 745c53a pushed by adacore-bot
March 12, 2025 16:45 18m 18s slides/217-gnatstub_module
slides/217-gnatstub_module
March 12, 2025 16:45 18m 18s
More exercises CI #2463: Commit 769ac9e pushed by adacore-bot
March 12, 2025 16:43 17m 26s slides/209-process_include_statements
slides/209-process_include_statements
March 12, 2025 16:43 17m 26s
Correct way of adding exercise CI #2462: Commit 9020f6f pushed by adacore-bot
March 12, 2025 13:59 17m 26s slides/209-process_include_statements
slides/209-process_include_statements
March 12, 2025 13:59 17m 26s
Merge remote-tracking branch 'origin/slides/217-create_gnatstub_train… CI #2461: Commit 85ad7e3 pushed by adacore-bot
March 11, 2025 19:25 17m 28s slides/209-process_include_statements
slides/209-process_include_statements
March 11, 2025 19:25 17m 28s