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

Partially reordered top-level topics. CodeQL #1116: Pull request #1137 opened by pat-rogers
November 8, 2024 19:45 1m 38s pat-rogers:master
pat-rogers:master
November 8, 2024 19:45 1m 38s
SCSS: replace @import by @use CodeQL #1115: Pull request #1136 opened by gusthoff
November 3, 2024 20:10 1m 31s gusthoff:topic/infrastructure/yarn/updates/20241103/sass_import_use
gusthoff:topic/infrastructure/yarn/updates/20241103/sass_import_use
November 3, 2024 20:10 1m 31s
Frontend: updating yarn packages CodeQL #1114: Pull request #1135 opened by gusthoff
November 3, 2024 02:25 1m 42s gusthoff:topic/infrastructure/yarn/updates/20241103/yarn_update
gusthoff:topic/infrastructure/yarn/updates/20241103/yarn_update
November 3, 2024 02:25 1m 42s
Frontend: upgrade eslint plugins, jsdom and sass-loader CodeQL #1113: Pull request #1134 opened by gusthoff
November 3, 2024 01:37 1m 33s gusthoff:topic/infrastructure/yarn/updates/20241102/eslint_jsdom_sass-loader_upgrade
gusthoff:topic/infrastructure/yarn/updates/20241102/eslint_jsdom_sass-loader_upgrade
November 3, 2024 01:37 1m 33s
Frontend: upgrade to Chai 5.x CodeQL #1112: Pull request #1133 synchronize by gusthoff
November 3, 2024 01:12 1m 35s gusthoff:topic/infrastructure/yarn/updates/20241102/chai_5_upgrade
gusthoff:topic/infrastructure/yarn/updates/20241102/chai_5_upgrade
November 3, 2024 01:12 1m 35s
Frontend: upgrade to Chai 5.x CodeQL #1111: Pull request #1133 opened by gusthoff
November 2, 2024 23:48 1m 39s gusthoff:topic/infrastructure/yarn/updates/20241102/chai_5_upgrade
gusthoff:topic/infrastructure/yarn/updates/20241102/chai_5_upgrade
November 2, 2024 23:48 1m 39s
Editorial change: adding details about 2024-10 release CodeQL #1110: Pull request #1132 opened by gusthoff
October 27, 2024 09:40 1m 40s gusthoff:content/advanced_ada/review/editorial/general/20241027/changelog
gusthoff:content/advanced_ada/review/editorial/general/20241027/changelog
October 27, 2024 09:40 1m 40s
Python: upgrading to Sphinx 8.x CodeQL #1109: Pull request #1131 synchronize by gusthoff
October 26, 2024 18:23 1m 33s gusthoff:topic/infrastructure/sphinx/updates/20241026
gusthoff:topic/infrastructure/sphinx/updates/20241026
October 26, 2024 18:23 1m 33s
Python: upgrading to Sphinx 8.x CodeQL #1108: Pull request #1131 synchronize by gusthoff
October 26, 2024 16:40 1m 41s gusthoff:topic/infrastructure/sphinx/updates/20241026
gusthoff:topic/infrastructure/sphinx/updates/20241026
October 26, 2024 16:40 1m 41s
Python: upgrading to Sphinx 8.x CodeQL #1107: Pull request #1131 synchronize by gusthoff
October 26, 2024 16:08 1m 32s gusthoff:topic/infrastructure/sphinx/updates/20241026
gusthoff:topic/infrastructure/sphinx/updates/20241026
October 26, 2024 16:08 1m 32s
Python: upgrading to Sphinx 8.x CodeQL #1106: Pull request #1131 opened by gusthoff
October 26, 2024 15:48 1m 32s gusthoff:topic/infrastructure/sphinx/updates/20241026
gusthoff:topic/infrastructure/sphinx/updates/20241026
October 26, 2024 15:48 1m 32s
Adding chapter: "Introduction" CodeQL #1105: Pull request #1130 opened by gusthoff
October 25, 2024 22:20 1m 29s gusthoff:content/ada_idioms/new_section/introduction/20241025
gusthoff:content/ada_idioms/new_section/introduction/20241025
October 25, 2024 22:20 1m 29s
Bump http-proxy-middleware from 2.0.6 to 2.0.7 in /frontend CodeQL #1104: Pull request #1129 opened by dependabot bot
October 25, 2024 14:24 1m 43s dependabot/npm_and_yarn/frontend/http-proxy-middleware-2.0.7
dependabot/npm_and_yarn/frontend/http-proxy-middleware-2.0.7
October 25, 2024 14:24 1m 43s
Adding section on derived array types and array subtypes CodeQL #1103: Pull request #1128 synchronize by gusthoff
October 24, 2024 23:34 1m 41s gusthoff:content/advanced_ada/new_content/arrays/array_derived_types_subtypes/20241020
gusthoff:content/advanced_ada/new_content/arrays/array_derived_types_subtypes/20241020
October 24, 2024 23:34 1m 41s
Adding section on derived array types and array subtypes CodeQL #1102: Pull request #1128 synchronize by gusthoff
October 20, 2024 20:12 1m 44s gusthoff:content/advanced_ada/new_content/arrays/array_derived_types_subtypes/20241020
gusthoff:content/advanced_ada/new_content/arrays/array_derived_types_subtypes/20241020
October 20, 2024 20:12 1m 44s
Adding section on variant parts CodeQL #1101: Pull request #1127 synchronize by gusthoff
October 20, 2024 20:12 1m 48s gusthoff:content/advanced_ada/new_content/records/variant_parts/20241013
gusthoff:content/advanced_ada/new_content/records/variant_parts/20241013
October 20, 2024 20:12 1m 48s
Adding section on derived array types and array subtypes CodeQL #1100: Pull request #1128 opened by gusthoff
October 20, 2024 19:18 1m 52s gusthoff:content/advanced_ada/new_content/arrays/array_derived_types_subtypes/20241020
gusthoff:content/advanced_ada/new_content/arrays/array_derived_types_subtypes/20241020
October 20, 2024 19:18 1m 52s
Describe where gnatcheck rules come from CodeQL #1099: Pull request #1126 synchronize by frank-at-adacore
October 17, 2024 18:10 2m 3s describe_where_gnatcheck_rules_come_from
describe_where_gnatcheck_rules_come_from
October 17, 2024 18:10 2m 3s
Adding section on variant parts CodeQL #1098: Pull request #1127 synchronize by gusthoff
October 13, 2024 11:34 2m 16s gusthoff:content/advanced_ada/new_content/records/variant_parts/20241013
gusthoff:content/advanced_ada/new_content/records/variant_parts/20241013
October 13, 2024 11:34 2m 16s
Adding section on variant parts CodeQL #1097: Pull request #1127 opened by gusthoff
October 13, 2024 02:49 2m 17s gusthoff:content/advanced_ada/new_content/records/variant_parts/20241013
gusthoff:content/advanced_ada/new_content/records/variant_parts/20241013
October 13, 2024 02:49 2m 17s
Adding section on unknown discriminants CodeQL #1096: Pull request #1125 synchronize by gusthoff
October 12, 2024 11:49 2m 11s gusthoff:content/advanced_ada/new_content/records/unknown_discriminants/20241006
gusthoff:content/advanced_ada/new_content/records/unknown_discriminants/20241006
October 12, 2024 11:49 2m 11s
Adding section on discriminant constraints and operations CodeQL #1095: Pull request #1123 synchronize by gusthoff
October 11, 2024 20:31 4m 5s gusthoff:content/advanced_ada/new_content/records/discriminant_constraints_operations/20241005
gusthoff:content/advanced_ada/new_content/records/discriminant_constraints_operations/20241005
October 11, 2024 20:31 4m 5s
Describe where gnatcheck rules come from CodeQL #1094: Pull request #1126 opened by frank-at-adacore
October 7, 2024 14:43 1m 53s describe_where_gnatcheck_rules_come_from
describe_where_gnatcheck_rules_come_from
October 7, 2024 14:43 1m 53s
Adding section on unknown discriminants CodeQL #1093: Pull request #1125 synchronize by gusthoff
October 6, 2024 16:27 1m 46s gusthoff:content/advanced_ada/new_content/records/unknown_discriminants/20241006
gusthoff:content/advanced_ada/new_content/records/unknown_discriminants/20241006
October 6, 2024 16:27 1m 46s
Adding section on unknown discriminants CodeQL #1092: Pull request #1125 opened by gusthoff
October 6, 2024 16:00 1m 54s gusthoff:content/advanced_ada/new_content/records/unknown_discriminants/20241006
gusthoff:content/advanced_ada/new_content/records/unknown_discriminants/20241006
October 6, 2024 16:00 1m 54s