Skip to content

Actions: AdaCore/learn

Actions

CodeQL

Actions

Loading...
Loading

Show workflow options

Create status badge

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Frontend: replacing brace by ace-builds CodeQL #1121: Pull request #1140 synchronize by gusthoff
November 10, 2024 02:02 1m 32s gusthoff:topic/infrastructure/yarn/updates/20241110/ace_update
gusthoff:topic/infrastructure/yarn/updates/20241110/ace_update
November 10, 2024 02:02 1m 32s
Frontend: replacing brace by ace-builds CodeQL #1120: Pull request #1140 opened by gusthoff
November 10, 2024 01:13 1m 31s gusthoff:topic/infrastructure/yarn/updates/20241110/ace_update
gusthoff:topic/infrastructure/yarn/updates/20241110/ace_update
November 10, 2024 01:13 1m 31s
Insert missing word. CodeQL #1119: Pull request #1139 opened by pat-rogers
November 10, 2024 01:05 1m 37s pat-rogers:master
pat-rogers:master
November 10, 2024 01:05 1m 37s
Revised Introduction chapter to clarify the purpose of the course and nature of the idiom entries. CodeQL #1118: Pull request #1138 synchronize by gusthoff
November 10, 2024 00:06 1m 30s pat-rogers:master
pat-rogers:master
November 10, 2024 00:06 1m 30s
Revised Introduction chapter to clarify the purpose of the course and nature of the idiom entries. CodeQL #1117: Pull request #1138 opened by pat-rogers
November 9, 2024 22:39 1m 31s pat-rogers:master
pat-rogers:master
November 9, 2024 22:39 1m 31s
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