Skip to content

Actions: AdaCore/learn

Actions

CodeQL

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
codeql-analysis.yml
344 workflow runs
344 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Adding section on classification of errors CodeQL #1191: Pull request #1185 synchronize by gusthoff
February 18, 2025 02:47 1m 30s gusthoff:content/advanced_ada/new_content/exceptions/classification_of_errors/20250217
gusthoff:content/advanced_ada/new_content/exceptions/classification_of_errors/20250217
February 18, 2025 02:47 1m 30s
Adding section on classification of errors CodeQL #1190: Pull request #1185 opened by gusthoff
February 18, 2025 02:17 1m 36s gusthoff:content/advanced_ada/new_content/exceptions/classification_of_errors/20250217
gusthoff:content/advanced_ada/new_content/exceptions/classification_of_errors/20250217
February 18, 2025 02:17 1m 36s
Fix typo in ada-in-practice/introduction.rst CodeQL #1189: Pull request #1184 opened by PaulCapron
February 14, 2025 04:00 1m 35s PaulCapron:patch-1
PaulCapron:patch-1
February 14, 2025 04:00 1m 35s
Adding subsection on Tasking_Check CodeQL #1188: Pull request #1183 opened by gusthoff
February 8, 2025 01:25 1m 29s gusthoff:content/advanced_ada/new_content/exceptions/checks_exceptions/tasking_check
gusthoff:content/advanced_ada/new_content/exceptions/checks_exceptions/tasking_check
February 8, 2025 01:25 1m 29s
Adding subsection on Program_Error_Check CodeQL #1187: Pull request #1182 synchronize by gusthoff
February 7, 2025 22:38 1m 30s gusthoff:content/advanced_ada/new_content/exceptions/checks_exceptions/program_error_check
gusthoff:content/advanced_ada/new_content/exceptions/checks_exceptions/program_error_check
February 7, 2025 22:38 1m 30s
Adding subsection on Program_Error_Check CodeQL #1186: Pull request #1182 synchronize by gusthoff
February 7, 2025 22:37 1m 30s gusthoff:content/advanced_ada/new_content/exceptions/checks_exceptions/program_error_check
gusthoff:content/advanced_ada/new_content/exceptions/checks_exceptions/program_error_check
February 7, 2025 22:37 1m 30s
Adding subsection on Program_Error_Check CodeQL #1185: Pull request #1182 opened by gusthoff
February 7, 2025 22:32 1m 36s gusthoff:content/advanced_ada/new_content/exceptions/checks_exceptions/program_error_check
gusthoff:content/advanced_ada/new_content/exceptions/checks_exceptions/program_error_check
February 7, 2025 22:32 1m 36s
Adding subsection on Full_Access_Only aspect CodeQL #1184: Pull request #1170 synchronize by gusthoff
February 7, 2025 18:59 1m 35s gusthoff:content/advanced_ada/new_content/types_representation/full_access_only/20241124
gusthoff:content/advanced_ada/new_content/types_representation/full_access_only/20241124
February 7, 2025 18:59 1m 35s
Adding section on atomic operations CodeQL #1183: Pull request #1171 synchronize by gusthoff
February 7, 2025 18:35 1m 33s gusthoff:content/advanced_ada/new_content/shared_variable_control/atomic_operations/20250106
gusthoff:content/advanced_ada/new_content/shared_variable_control/atomic_operations/20250106
February 7, 2025 18:35 1m 33s
Adding section on atomic operations CodeQL #1182: Pull request #1171 synchronize by gusthoff
February 7, 2025 18:32 1m 37s gusthoff:content/advanced_ada/new_content/shared_variable_control/atomic_operations/20250106
gusthoff:content/advanced_ada/new_content/shared_variable_control/atomic_operations/20250106
February 7, 2025 18:32 1m 37s
Editorial change: adding details about 2025-01 release CodeQL #1181: Pull request #1181 opened by gusthoff
February 7, 2025 14:07 1m 36s gusthoff:content/ada_idioms/review/editorial/general/20250207/changelog
gusthoff:content/ada_idioms/review/editorial/general/20250207/changelog
February 7, 2025 14:07 1m 36s
Editorial change: renaming course to "Ada In Practice" CodeQL #1180: Pull request #1180 opened by gusthoff
January 31, 2025 20:07 1m 32s gusthoff:content/ada_idioms/review/editorial/structure/20250131
gusthoff:content/ada_idioms/review/editorial/structure/20250131
January 31, 2025 20:07 1m 32s
intro-to-spark/chapters/01_Overview.rst: replace codepeer with GNAT SAS CodeQL #1179: Pull request #1179 opened by Fabien-Chouteau
January 30, 2025 09:20 1m 32s codepeer-to-gnatsas
codepeer-to-gnatsas
January 30, 2025 09:20 1m 32s
Editorial change: replace plain footnotes by references using bibtex CodeQL #1178: Pull request #1178 opened by gusthoff
January 25, 2025 00:57 1m 33s gusthoff:content/ada_idioms/review/editorial/structure/20250125
gusthoff:content/ada_idioms/review/editorial/structure/20250125
January 25, 2025 00:57 1m 33s
Sphinx: add support for bibliography using bibtex CodeQL #1177: Pull request #1177 opened by gusthoff
January 25, 2025 00:35 1m 30s gusthoff:topic/infrastructure/sphinx/structure/20250124/bibtex_support
gusthoff:topic/infrastructure/sphinx/structure/20250124/bibtex_support
January 25, 2025 00:35 1m 30s
Editorial change: various changes to "Ada Idioms" course CodeQL #1176: Pull request #1176 opened by gusthoff
January 25, 2025 00:30 1m 29s gusthoff:content/ada_idioms/review/editorial/general/20250124
gusthoff:content/ada_idioms/review/editorial/general/20250124
January 25, 2025 00:30 1m 29s
Use consistent scheme for multiple implementations CodeQL #1175: Pull request #1175 opened by pat-rogers
January 17, 2025 21:55 1m 37s pat-rogers:master
pat-rogers:master
January 17, 2025 21:55 1m 37s
correct logical nesting depth of the two entries CodeQL #1174: Pull request #1174 opened by pat-rogers
January 17, 2025 21:40 1m 30s pat-rogers:master
pat-rogers:master
January 17, 2025 21:40 1m 30s
Change the "Solution" heading to "Implementation(s)" CodeQL #1173: Pull request #1173 opened by pat-rogers
January 17, 2025 17:44 1m 28s pat-rogers:master
pat-rogers:master
January 17, 2025 17:44 1m 28s
Fix for null access support in example CodeQL #1172: Pull request #1172 opened by leogermond
January 16, 2025 13:15 1m 42s adv-ada_resources-mgmt_access-abstraction_fix
adv-ada_resources-mgmt_access-abstraction_fix
January 16, 2025 13:15 1m 42s
Adding subsection on Full_Access_Only aspect CodeQL #1171: Pull request #1170 synchronize by gusthoff
January 12, 2025 16:03 1m 34s gusthoff:content/advanced_ada/new_content/types_representation/full_access_only/20241124
gusthoff:content/advanced_ada/new_content/types_representation/full_access_only/20241124
January 12, 2025 16:03 1m 34s
Adding subsection on Full_Access_Only aspect CodeQL #1170: Pull request #1170 synchronize by gusthoff
January 11, 2025 03:20 1m 32s gusthoff:content/advanced_ada/new_content/types_representation/full_access_only/20241124
gusthoff:content/advanced_ada/new_content/types_representation/full_access_only/20241124
January 11, 2025 03:20 1m 32s
Adding subsection on Full_Access_Only aspect CodeQL #1169: Pull request #1170 synchronize by gusthoff
January 11, 2025 03:07 1m 34s gusthoff:content/advanced_ada/new_content/types_representation/full_access_only/20241124
gusthoff:content/advanced_ada/new_content/types_representation/full_access_only/20241124
January 11, 2025 03:07 1m 34s
Adding section on atomic operations CodeQL #1168: Pull request #1171 synchronize by gusthoff
January 6, 2025 18:56 1m 11s gusthoff:content/advanced_ada/new_content/shared_variable_control/atomic_operations/20250106
gusthoff:content/advanced_ada/new_content/shared_variable_control/atomic_operations/20250106
January 6, 2025 18:56 1m 11s
Adding section on atomic operations CodeQL #1167: Pull request #1171 opened by gusthoff
January 6, 2025 18:20 1m 8s gusthoff:content/advanced_ada/new_content/shared_variable_control/atomic_operations/20250106
gusthoff:content/advanced_ada/new_content/shared_variable_control/atomic_operations/20250106
January 6, 2025 18:20 1m 8s