Skip to content

Actions: AdaCore/learn

Actions

CodeQL

Actions

Loading...
Loading

Show workflow options

Create status badge

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Editorial change: fixing background color of target section titles CodeQL #1426: Pull request #1300 synchronize by gusthoff
1m 14s gusthoff:topic/infrastructure/sphinx/structure/furo_theme/20260109
gusthoff:topic/infrastructure/sphinx/structure/furo_theme/20260109
1m 14s
Editorial change: fixing background color of target section titles CodeQL #1425: Pull request #1300 opened by gusthoff
1m 10s gusthoff:topic/infrastructure/sphinx/structure/furo_theme/20260109
gusthoff:topic/infrastructure/sphinx/structure/furo_theme/20260109
1m 10s
Bump urllib3 from 2.6.0 to 2.6.3 in /frontend CodeQL #1424: Pull request #1299 opened by dependabot bot
1m 12s dependabot/pip/frontend/urllib3-2.6.3
dependabot/pip/frontend/urllib3-2.6.3
1m 12s
Editorial change: fixing background color of static code examples CodeQL #1423: Pull request #1298 opened by gusthoff
1m 14s gusthoff:topic/infrastructure/sphinx/structure/furo_theme/20260102
gusthoff:topic/infrastructure/sphinx/structure/furo_theme/20260102
1m 14s
Editorial change: replace by footbibliography CodeQL #1422: Pull request #1295 synchronize by gusthoff
1m 13s gusthoff:content/adacore-technologies-for-airborne-software/editorial/review/20251226
gusthoff:content/adacore-technologies-for-airborne-software/editorial/review/20251226
1m 13s
Editorial change: replace by footbibliography CodeQL #1421: Pull request #1295 synchronize by gusthoff
1m 11s gusthoff:content/adacore-technologies-for-airborne-software/editorial/review/20251226
gusthoff:content/adacore-technologies-for-airborne-software/editorial/review/20251226
1m 11s
Adding section about decimal fixed-point types CodeQL #1420: Pull request #1293 synchronize by gusthoff
1m 17s gusthoff:content/advanced_ada/new_content/numerics/decimal_fixed_point_types/20251003
gusthoff:content/advanced_ada/new_content/numerics/decimal_fixed_point_types/20251003
1m 17s
Editorial change: minor changes related to toolchain updates CodeQL #1419: Pull request #1297 synchronize by gusthoff
1m 22s gusthoff:content/ada_2022_whats_new/editorial/review/20251226
gusthoff:content/ada_2022_whats_new/editorial/review/20251226
1m 22s
Vagrant VM: updating Ubuntu box version CodeQL #1418: Pull request #1296 synchronize by gusthoff
1m 17s gusthoff:topic/infrastructure/vagrant/20251227
gusthoff:topic/infrastructure/vagrant/20251227
1m 17s
Editorial change: minor changes related to toolchain updates CodeQL #1417: Pull request #1297 opened by gusthoff
1m 13s gusthoff:content/ada_2022_whats_new/editorial/review/20251226
gusthoff:content/ada_2022_whats_new/editorial/review/20251226
1m 13s
Editorial change: replace by footbibliography CodeQL #1416: Pull request #1295 synchronize by gusthoff
1m 20s gusthoff:content/adacore-technologies-for-airborne-software/editorial/review/20251226
gusthoff:content/adacore-technologies-for-airborne-software/editorial/review/20251226
1m 20s
Vagrant VM: updating Ubuntu box version CodeQL #1415: Pull request #1296 synchronize by gusthoff
1m 11s gusthoff:topic/infrastructure/vagrant/20251227
gusthoff:topic/infrastructure/vagrant/20251227
1m 11s
Vagrant VM: updating Ubuntu box version CodeQL #1414: Pull request #1296 synchronize by gusthoff
1m 10s gusthoff:topic/infrastructure/vagrant/20251227
gusthoff:topic/infrastructure/vagrant/20251227
1m 10s
Vagrant VM: updating Ubuntu box version CodeQL #1413: Pull request #1296 opened by gusthoff
1m 13s gusthoff:topic/infrastructure/vagrant/20251227
gusthoff:topic/infrastructure/vagrant/20251227
1m 13s
Editorial change: replace by footbibliography CodeQL #1412: Pull request #1295 synchronize by gusthoff
1m 16s gusthoff:content/adacore-technologies-for-airborne-software/editorial/review/20251226
gusthoff:content/adacore-technologies-for-airborne-software/editorial/review/20251226
1m 16s
Editorial change: replace by footbibliography CodeQL #1411: Pull request #1295 synchronize by gusthoff
1m 18s gusthoff:content/adacore-technologies-for-airborne-software/editorial/review/20251226
gusthoff:content/adacore-technologies-for-airborne-software/editorial/review/20251226
1m 18s
Editorial change: replace by footbibliography CodeQL #1410: Pull request #1295 opened by gusthoff
1m 20s gusthoff:content/adacore-technologies-for-airborne-software/editorial/review/20251226
gusthoff:content/adacore-technologies-for-airborne-software/editorial/review/20251226
1m 20s
Review of section about fixed-point types CodeQL #1409: Pull request #1294 synchronize by gusthoff
1m 12s gusthoff:content/advanced_ada/review/numerics/fixed_point_types/20251219
gusthoff:content/advanced_ada/review/numerics/fixed_point_types/20251219
1m 12s
Changes in response to review by SteveB CodeQL #1408: Pull request #1292 synchronize by gusthoff
1m 19s pat-rogers:content/ada_in_practice/review/idioms_for_protected_objects/20251212
pat-rogers:content/ada_in_practice/review/idioms_for_protected_objects/20251212
1m 19s
Review of section about fixed-point types CodeQL #1407: Pull request #1294 opened by gusthoff
1m 14s gusthoff:content/advanced_ada/review/numerics/fixed_point_types/20251219
gusthoff:content/advanced_ada/review/numerics/fixed_point_types/20251219
1m 14s
Adding section about decimal fixed-point types CodeQL #1406: Pull request #1293 synchronize by gusthoff
1m 15s gusthoff:content/advanced_ada/new_content/numerics/decimal_fixed_point_types/20251003
gusthoff:content/advanced_ada/new_content/numerics/decimal_fixed_point_types/20251003
1m 15s
Adding section about decimal fixed-point types CodeQL #1405: Pull request #1293 opened by gusthoff
1m 13s gusthoff:content/advanced_ada/new_content/numerics/decimal_fixed_point_types/20251003
gusthoff:content/advanced_ada/new_content/numerics/decimal_fixed_point_types/20251003
1m 13s
Changes in response to review by SteveB CodeQL #1404: Pull request #1292 synchronize by pat-rogers
1m 18s pat-rogers:content/ada_in_practice/review/idioms_for_protected_objects/20251212
pat-rogers:content/ada_in_practice/review/idioms_for_protected_objects/20251212
1m 18s
Changes in response to review by SteveB CodeQL #1403: Pull request #1292 synchronize by pat-rogers
1m 11s pat-rogers:content/ada_in_practice/review/idioms_for_protected_objects/20251212
pat-rogers:content/ada_in_practice/review/idioms_for_protected_objects/20251212
1m 11s
Changes in response to review by SteveB CodeQL #1402: Pull request #1292 opened by pat-rogers
1m 20s pat-rogers:content/ada_in_practice/review/idioms_for_protected_objects/20251212
pat-rogers:content/ada_in_practice/review/idioms_for_protected_objects/20251212
1m 20s