Skip to content

Actions: AdaCore/learn

Actions

CodeQL

Actions

Loading...
Loading

Show workflow options

Create status badge

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
Adding subsection on Full_Access_Only aspect CodeQL #1166: Pull request #1170 opened by gusthoff
January 6, 2025 09:53 1m 21s 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 6, 2025 09:53 1m 21s
Editorial change: splitting section on data representation CodeQL #1165: Pull request #1169 opened by gusthoff
January 6, 2025 00:19 1m 14s gusthoff:content/advanced_ada/review/editorial/types_representation/20250105
gusthoff:content/advanced_ada/review/editorial/types_representation/20250105
January 6, 2025 00:19 1m 14s
Editorial change: adding new chapter on Shared Variable Control CodeQL #1164: Pull request #1168 opened by gusthoff
January 5, 2025 21:50 1m 5s gusthoff:content/advanced_ada/review/editorial/shared_variable_control/20250105
gusthoff:content/advanced_ada/review/editorial/shared_variable_control/20250105
January 5, 2025 21:50 1m 5s
Drop Default_Switches from project files. CodeQL #1163: Pull request #1167 opened by reznikmm
December 30, 2024 14:45 1m 11s reznikmm:topic/drop_def_sw
reznikmm:topic/drop_def_sw
December 30, 2024 14:45 1m 11s
Editorial change: restricting code examples to 80-column limit CodeQL #1162: Pull request #1165 opened by gusthoff
December 27, 2024 21:07 1m 16s gusthoff:content/ada_idioms/review/editorial/code_examples/20241227
gusthoff:content/ada_idioms/review/editorial/code_examples/20241227
December 27, 2024 21:07 1m 16s
Infrastructure: upgrade to Node 22 CodeQL #1161: Pull request #1164 opened by gusthoff
December 27, 2024 17:05 1m 14s gusthoff:topic/infrastructure/yarn/updates/20241226/node_22_upgrade
gusthoff:topic/infrastructure/yarn/updates/20241226/node_22_upgrade
December 27, 2024 17:05 1m 14s
Python: updating some packages CodeQL #1160: Pull request #1163 opened by gusthoff
December 27, 2024 15:37 1m 6s gusthoff:topic/infrastructure/sphinx/updates/20241227
gusthoff:topic/infrastructure/sphinx/updates/20241227
December 27, 2024 15:37 1m 6s
Frontend: update some yarn packages CodeQL #1159: Pull request #1162 opened by gusthoff
December 27, 2024 15:35 1m 8s gusthoff:topic/infrastructure/yarn/updates/20241227/general
gusthoff:topic/infrastructure/yarn/updates/20241227/general
December 27, 2024 15:35 1m 8s
Python: updating some packages CodeQL #1158: Pull request #1161 opened by gusthoff
December 27, 2024 14:10 1m 6s gusthoff:topic/infrastructure/sphinx/updates/20241227
gusthoff:topic/infrastructure/sphinx/updates/20241227
December 27, 2024 14:10 1m 6s
Frontend: update some yarn packages CodeQL #1157: Pull request #1160 opened by gusthoff
December 27, 2024 14:00 1m 7s gusthoff:topic/infrastructure/yarn/updates/20241227/general
gusthoff:topic/infrastructure/yarn/updates/20241227/general
December 27, 2024 14:00 1m 7s
Frontend: upgrade some NPM packages CodeQL #1156: Pull request #1159 opened by gusthoff
December 27, 2024 13:54 1m 19s gusthoff:topic/infrastructure/yarn/upgrades/20241227
gusthoff:topic/infrastructure/yarn/upgrades/20241227
December 27, 2024 13:54 1m 19s
Bump jinja2 from 3.1.4 to 3.1.5 in /frontend CodeQL #1155: Pull request #1158 opened by dependabot bot
December 27, 2024 13:45 1m 15s dependabot/pip/frontend/jinja2-3.1.5
dependabot/pip/frontend/jinja2-3.1.5
December 27, 2024 13:45 1m 15s
Infrastructure: upgrade to Node 22 CodeQL #1154: Pull request #1155 synchronize by gusthoff
December 27, 2024 13:43 1m 14s gusthoff:topic/infrastructure/yarn/updates/20241226/node_22_upgrade
gusthoff:topic/infrastructure/yarn/updates/20241226/node_22_upgrade
December 27, 2024 13:43 1m 14s
Vagrant VM: use old-releases repo for Ubuntu installation CodeQL #1153: Pull request #1157 opened by gusthoff
December 27, 2024 13:42 1m 25s gusthoff:topic/infrastructure/vagrant/20241227/tmp_old_release
gusthoff:topic/infrastructure/vagrant/20241227/tmp_old_release
December 27, 2024 13:42 1m 25s
Infrastructure: upgrade to Node 22 CodeQL #1152: Pull request #1155 synchronize by gusthoff
December 27, 2024 13:05 1m 11s gusthoff:topic/infrastructure/yarn/updates/20241226/node_22_upgrade
gusthoff:topic/infrastructure/yarn/updates/20241226/node_22_upgrade
December 27, 2024 13:05 1m 11s
SCSS: replace darken()/lighten() by color.scale() CodeQL #1151: Pull request #1156 opened by gusthoff
December 27, 2024 12:53 1m 23s gusthoff:topic/infrastructure/scss/upgrade/20241227
gusthoff:topic/infrastructure/scss/upgrade/20241227
December 27, 2024 12:53 1m 23s