Skip to content

Actions: AdaCore/training_material

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
655 workflow runs
655 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Rename "Access Types - Advanced" to "Access Types In Depth" CI #2196: Pull request #482 synchronize by adacore-bot
January 8, 2025 15:27 9m 18s slides/72-access-types-module-needs-a-better-comparison-between-pool-specific-and-general-access-types
slides/72-access-types-module-needs-a-better-comparison-between-pool-specific-and-general-access-types
January 8, 2025 15:27 9m 18s
Merge branch 'slides/123-refine-the-overview-intro-module-by-removing… CI #2195: Commit b68378d pushed by adacore-bot
January 8, 2025 14:01 9m 26s master
master
January 8, 2025 14:01 9m 26s
Merge branch 'slides/183-type-invariant-graphic-clean-up-and-port-to-… CI #2194: Commit c461d37 pushed by adacore-bot
January 7, 2025 17:40 9m 15s master
master
January 7, 2025 17:40 9m 15s
Merge branch 'slides/273_subprogram_contracts-code-snippets-should-us… CI #2193: Commit 3cd081e pushed by adacore-bot
January 7, 2025 17:39 9m 28s master
master
January 7, 2025 17:39 9m 28s
Rename "Access Types - Advanced" to "Access Types In Depth" CI #2192: Pull request #482 synchronize by adacore-bot
January 7, 2025 16:45 9m 17s slides/72-access-types-module-needs-a-better-comparison-between-pool-specific-and-general-access-types
slides/72-access-types-module-needs-a-better-comparison-between-pool-specific-and-general-access-types
January 7, 2025 16:45 9m 17s
Rename "Access Types - Advanced" to "Access Types In Depth" CI #2191: Pull request #482 opened by frank-at-adacore
January 7, 2025 15:12 9m 33s slides/72-access-types-module-needs-a-better-comparison-between-pool-specific-and-general-access-types
slides/72-access-types-module-needs-a-better-comparison-between-pool-specific-and-general-access-types
January 7, 2025 15:12 9m 33s
Merge branch 'slides/187-expressions-membership-tests-quiz-add-inform… CI #2190: Commit 346e6d9 pushed by adacore-bot
January 6, 2025 20:57 9m 47s master
master
January 6, 2025 20:57 9m 47s
Merge branch 'slides/186-subprograms-expression-functions-quiz-introd… CI #2189: Commit ae6f31b pushed by adacore-bot
January 6, 2025 20:56 9m 46s master
master
January 6, 2025 20:56 9m 46s
Shorten overview "big picture" CI #2188: Pull request #479 synchronize by adacore-bot
January 3, 2025 19:55 9m 46s slides/123-refine-the-overview-intro-module-by-removing-recap-slides
slides/123-refine-the-overview-intro-module-by-removing-recap-slides
January 3, 2025 19:55 9m 46s
Shorten overview "big picture" CI #2187: Pull request #479 synchronize by adacore-bot
January 3, 2025 17:23 9m 28s slides/123-refine-the-overview-intro-module-by-removing-recap-slides
slides/123-refine-the-overview-intro-module-by-removing-recap-slides
January 3, 2025 17:23 9m 28s
Module 245: Slightly more meaningful names modification CI #2186: Pull request #481 synchronize by adacore-bot
January 2, 2025 20:57 9m 25s slides/31-module_245_code-snippets-should-use-better-names-than-single-characters
slides/31-module_245_code-snippets-should-use-better-names-than-single-characters
January 2, 2025 20:57 9m 25s
Module 245: Slightly more meaningful names modification CI #2185: Pull request #481 synchronize by adacore-bot
January 2, 2025 20:49 9m 23s slides/31-module_245_code-snippets-should-use-better-names-than-single-characters
slides/31-module_245_code-snippets-should-use-better-names-than-single-characters
January 2, 2025 20:49 9m 23s
Module 245: Slightly more meaningful names modification CI #2184: Pull request #481 opened by dm-at-ada
January 2, 2025 20:35 9m 25s slides/31-module_245_code-snippets-should-use-better-names-than-single-characters
slides/31-module_245_code-snippets-should-use-better-names-than-single-characters
January 2, 2025 20:35 9m 25s
Module 270: Changes to add more meaningful names, where appropriate, for single vars CI #2183: Pull request #480 synchronize by adacore-bot
January 2, 2025 20:00 9m 34s slides/31_mod-270_rename_single_char_vars
slides/31_mod-270_rename_single_char_vars
January 2, 2025 20:00 9m 34s
Module 270: Changes to add more meaningful names, where appropriate, for single vars CI #2182: Pull request #480 opened by dm-at-ada
January 2, 2025 19:34 9m 27s slides/31_mod-270_rename_single_char_vars
slides/31_mod-270_rename_single_char_vars
January 2, 2025 19:34 9m 27s
Shorten overview "big picture" CI #2181: Pull request #479 opened by frank-at-adacore
January 2, 2025 18:06 9m 39s slides/123-refine-the-overview-intro-module-by-removing-recap-slides
slides/123-refine-the-overview-intro-module-by-removing-recap-slides
January 2, 2025 18:06 9m 39s
Renaming single char vars where it makes sense to do so CI #2180: Pull request #478 synchronize by adacore-bot
January 2, 2025 14:45 9m 21s slides/273_subprogram_contracts-code-snippets-should-use-better-names-than-single-characters
slides/273_subprogram_contracts-code-snippets-should-use-better-names-than-single-characters
January 2, 2025 14:45 9m 21s
Merge branch 'slides/188-expressions-quantified-expressions-remove-sl… CI #2179: Commit 1bf6569 pushed by adacore-bot
January 2, 2025 14:01 10m 18s master
master
January 2, 2025 14:01 10m 18s
Renaming single char vars where it makes sense to do so CI #2178: Pull request #478 synchronize by adacore-bot
December 20, 2024 22:11 9m 22s slides/273_subprogram_contracts-code-snippets-should-use-better-names-than-single-characters
slides/273_subprogram_contracts-code-snippets-should-use-better-names-than-single-characters
December 20, 2024 22:11 9m 22s
Renaming single char vars where it makes sense to do so CI #2177: Pull request #478 opened by dm-at-ada
December 20, 2024 21:57 9m 27s slides/273_subprogram_contracts-code-snippets-should-use-better-names-than-single-characters
slides/273_subprogram_contracts-code-snippets-should-use-better-names-than-single-characters
December 20, 2024 21:57 9m 27s
Renaming single var names to something a little more meaningful CI #2176: Pull request #477 synchronize by adacore-bot
December 20, 2024 20:53 9m 22s slides/276_type_contracts-code-snippets-should-use-better-names-than-single-characters
slides/276_type_contracts-code-snippets-should-use-better-names-than-single-characters
December 20, 2024 20:53 9m 22s
Renaming single var names to something a little more meaningful CI #2175: Pull request #477 synchronize by adacore-bot
December 20, 2024 20:24 9m 28s slides/276_type_contracts-code-snippets-should-use-better-names-than-single-characters
slides/276_type_contracts-code-snippets-should-use-better-names-than-single-characters
December 20, 2024 20:24 9m 28s
Renaming single var names to something a little more meaningful CI #2174: Pull request #477 synchronize by adacore-bot
December 20, 2024 20:10 9m 25s slides/276_type_contracts-code-snippets-should-use-better-names-than-single-characters
slides/276_type_contracts-code-snippets-should-use-better-names-than-single-characters
December 20, 2024 20:10 9m 25s
Renaming single var names to something a little more meaningful CI #2173: Pull request #477 synchronize by adacore-bot
December 20, 2024 19:58 9m 24s slides/276_type_contracts-code-snippets-should-use-better-names-than-single-characters
slides/276_type_contracts-code-snippets-should-use-better-names-than-single-characters
December 20, 2024 19:58 9m 24s
Renaming single var names to something a little more meaningful CI #2172: Pull request #477 opened by dm-at-ada
December 20, 2024 19:32 9m 23s slides/276_type_contracts-code-snippets-should-use-better-names-than-single-characters
slides/276_type_contracts-code-snippets-should-use-better-names-than-single-characters
December 20, 2024 19:32 9m 23s