Skip to content

Actions: AdaCore/learn

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
2,342 workflow runs
2,342 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Rework of chapter on fixed-point types for "Intro to Ada" course Sphinx Books Tests #1933: Pull request #1257 opened by gusthoff
August 22, 2025 18:14 39m 41s gusthoff:content/intro_to_ada/review/fixed_point_types/20250822
gusthoff:content/intro_to_ada/review/fixed_point_types/20250822
August 22, 2025 18:14 39m 41s
Rework of chapter on fixed-point types for "Intro to Ada" course Sphinx Content Tests #2345: Pull request #1257 opened by gusthoff
August 22, 2025 18:14 12m 4s gusthoff:content/intro_to_ada/review/fixed_point_types/20250822
gusthoff:content/intro_to_ada/review/fixed_point_types/20250822
August 22, 2025 18:14 12m 4s
Rework of chapter on fixed-point types for "Intro to Ada" course CodeQL #1326: Pull request #1257 opened by gusthoff
August 22, 2025 18:14 1m 20s gusthoff:content/intro_to_ada/review/fixed_point_types/20250822
gusthoff:content/intro_to_ada/review/fixed_point_types/20250822
August 22, 2025 18:14 1m 20s
Adding section on Resource Acquisition Is Initialization (RAII) CodeQL #1325: Pull request #1255 synchronize by gusthoff
August 17, 2025 21:21 1m 23s gusthoff:content/ada_in_practice/new_section/raii/20250815
gusthoff:content/ada_in_practice/new_section/raii/20250815
August 17, 2025 21:21 1m 23s
Adding section on Resource Acquisition Is Initialization (RAII) Sphinx Content Tests #2344: Pull request #1255 synchronize by gusthoff
August 17, 2025 21:21 9m 28s gusthoff:content/ada_in_practice/new_section/raii/20250815
gusthoff:content/ada_in_practice/new_section/raii/20250815
August 17, 2025 21:21 9m 28s
Adding section on Resource Acquisition Is Initialization (RAII) Sphinx Books Tests #1932: Pull request #1255 synchronize by gusthoff
August 17, 2025 21:21 38m 54s gusthoff:content/ada_in_practice/new_section/raii/20250815
gusthoff:content/ada_in_practice/new_section/raii/20250815
August 17, 2025 21:21 38m 54s
Adding section on floating-point types Sphinx Content Tests #2343: Pull request #1253 synchronize by gusthoff
August 17, 2025 21:15 9m 41s gusthoff:advanced_ada/new_content/numerics/floating_point_types/20250727
gusthoff:advanced_ada/new_content/numerics/floating_point_types/20250727
August 17, 2025 21:15 9m 41s
Adding section on floating-point types CodeQL #1324: Pull request #1253 synchronize by gusthoff
August 17, 2025 21:15 1m 17s gusthoff:advanced_ada/new_content/numerics/floating_point_types/20250727
gusthoff:advanced_ada/new_content/numerics/floating_point_types/20250727
August 17, 2025 21:15 1m 17s
Adding section on floating-point types Sphinx Books Tests #1931: Pull request #1253 synchronize by gusthoff
August 17, 2025 21:15 38m 12s gusthoff:advanced_ada/new_content/numerics/floating_point_types/20250727
gusthoff:advanced_ada/new_content/numerics/floating_point_types/20250727
August 17, 2025 21:15 38m 12s
Merge pull request #1256 from gusthoff/content/advanced_ada/review/ed… Publish learn-latest #273: Commit acc19e2 pushed by gusthoff
August 16, 2025 13:40 6s main
main
August 16, 2025 13:40 6s
Merge pull request #1256 from gusthoff/content/advanced_ada/review/ed… Sphinx Content Tests #2342: Commit acc19e2 pushed by gusthoff
August 16, 2025 13:40 10m 2s main
main
August 16, 2025 13:40 10m 2s
Merge pull request #1256 from gusthoff/content/advanced_ada/review/ed… Sphinx Books Tests #1930: Commit acc19e2 pushed by gusthoff
August 16, 2025 13:40 39m 0s main
main
August 16, 2025 13:40 39m 0s
Editorial changes: adding section on Discrete and Real Numeric Types Sphinx Content Tests #2341: Pull request #1256 synchronize by gusthoff
August 16, 2025 01:23 8m 47s gusthoff:content/advanced_ada/review/editorial/numerics/discrete_real_numeric_types/20250816
gusthoff:content/advanced_ada/review/editorial/numerics/discrete_real_numeric_types/20250816
August 16, 2025 01:23 8m 47s
Editorial changes: adding section on Discrete and Real Numeric Types CodeQL #1323: Pull request #1256 synchronize by gusthoff
August 16, 2025 01:23 1m 11s gusthoff:content/advanced_ada/review/editorial/numerics/discrete_real_numeric_types/20250816
gusthoff:content/advanced_ada/review/editorial/numerics/discrete_real_numeric_types/20250816
August 16, 2025 01:23 1m 11s
Editorial changes: adding section on Discrete and Real Numeric Types Sphinx Books Tests #1929: Pull request #1256 synchronize by gusthoff
August 16, 2025 01:23 38m 15s gusthoff:content/advanced_ada/review/editorial/numerics/discrete_real_numeric_types/20250816
gusthoff:content/advanced_ada/review/editorial/numerics/discrete_real_numeric_types/20250816
August 16, 2025 01:23 38m 15s
Editorial changes: adding section on Discrete and Real Numeric Types CodeQL #1322: Pull request #1256 synchronize by gusthoff
August 16, 2025 01:19 1m 15s gusthoff:content/advanced_ada/review/editorial/numerics/discrete_real_numeric_types/20250816
gusthoff:content/advanced_ada/review/editorial/numerics/discrete_real_numeric_types/20250816
August 16, 2025 01:19 1m 15s
Editorial changes: adding section on Discrete and Real Numeric Types Sphinx Content Tests #2340: Pull request #1256 synchronize by gusthoff
August 16, 2025 01:19 8m 49s gusthoff:content/advanced_ada/review/editorial/numerics/discrete_real_numeric_types/20250816
gusthoff:content/advanced_ada/review/editorial/numerics/discrete_real_numeric_types/20250816
August 16, 2025 01:19 8m 49s
Editorial changes: adding section on Discrete and Real Numeric Types Sphinx Books Tests #1928: Pull request #1256 synchronize by gusthoff
August 16, 2025 01:19 39m 44s gusthoff:content/advanced_ada/review/editorial/numerics/discrete_real_numeric_types/20250816
gusthoff:content/advanced_ada/review/editorial/numerics/discrete_real_numeric_types/20250816
August 16, 2025 01:19 39m 44s
Editorial changes: adding section on Discrete and Real Numeric Types Sphinx Books Tests #1927: Pull request #1256 opened by gusthoff
August 16, 2025 01:01 38m 56s gusthoff:content/advanced_ada/review/editorial/numerics/discrete_real_numeric_types/20250816
gusthoff:content/advanced_ada/review/editorial/numerics/discrete_real_numeric_types/20250816
August 16, 2025 01:01 38m 56s
Editorial changes: adding section on Discrete and Real Numeric Types CodeQL #1321: Pull request #1256 opened by gusthoff
August 16, 2025 01:01 1m 21s gusthoff:content/advanced_ada/review/editorial/numerics/discrete_real_numeric_types/20250816
gusthoff:content/advanced_ada/review/editorial/numerics/discrete_real_numeric_types/20250816
August 16, 2025 01:01 1m 21s
Editorial changes: adding section on Discrete and Real Numeric Types Sphinx Content Tests #2339: Pull request #1256 opened by gusthoff
August 16, 2025 01:01 9m 4s gusthoff:content/advanced_ada/review/editorial/numerics/discrete_real_numeric_types/20250816
gusthoff:content/advanced_ada/review/editorial/numerics/discrete_real_numeric_types/20250816
August 16, 2025 01:01 9m 4s
Adding section on Resource Acquisition Is Initialization (RAII) Sphinx Books Tests #1926: Pull request #1255 synchronize by gusthoff
August 16, 2025 00:26 39m 29s gusthoff:content/ada_in_practice/new_section/raii/20250815
gusthoff:content/ada_in_practice/new_section/raii/20250815
August 16, 2025 00:26 39m 29s
Adding section on Resource Acquisition Is Initialization (RAII) Sphinx Content Tests #2338: Pull request #1255 synchronize by gusthoff
August 16, 2025 00:26 9m 8s gusthoff:content/ada_in_practice/new_section/raii/20250815
gusthoff:content/ada_in_practice/new_section/raii/20250815
August 16, 2025 00:26 9m 8s
Adding section on Resource Acquisition Is Initialization (RAII) CodeQL #1320: Pull request #1255 synchronize by gusthoff
August 16, 2025 00:26 1m 12s gusthoff:content/ada_in_practice/new_section/raii/20250815
gusthoff:content/ada_in_practice/new_section/raii/20250815
August 16, 2025 00:26 1m 12s
Merge pull request #1245 from gusthoff/advanced_ada/new_content/numer… Sphinx Books Tests #1925: Commit d663ca6 pushed by gusthoff
August 16, 2025 00:11 39m 43s main
main
August 16, 2025 00:11 39m 43s