Skip to content

Actions: AdaCore/learn

Actions

Sphinx Content Tests

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
sphinx-content-tests.js.yml
620 workflow runs
620 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Adding subsection on Tasking_Check Sphinx Content Tests #2128: Pull request #1183 opened by gusthoff
February 8, 2025 01:25 10m 44s gusthoff:content/advanced_ada/new_content/exceptions/checks_exceptions/tasking_check
gusthoff:content/advanced_ada/new_content/exceptions/checks_exceptions/tasking_check
February 8, 2025 01:25 10m 44s
Adding subsection on Program_Error_Check Sphinx Content Tests #2127: Pull request #1182 synchronize by gusthoff
February 7, 2025 22:38 11m 24s gusthoff:content/advanced_ada/new_content/exceptions/checks_exceptions/program_error_check
gusthoff:content/advanced_ada/new_content/exceptions/checks_exceptions/program_error_check
February 7, 2025 22:38 11m 24s
Adding subsection on Program_Error_Check Sphinx Content Tests #2126: Pull request #1182 synchronize by gusthoff
February 7, 2025 22:37 11m 58s gusthoff:content/advanced_ada/new_content/exceptions/checks_exceptions/program_error_check
gusthoff:content/advanced_ada/new_content/exceptions/checks_exceptions/program_error_check
February 7, 2025 22:37 11m 58s
Adding subsection on Program_Error_Check Sphinx Content Tests #2125: Pull request #1182 opened by gusthoff
February 7, 2025 22:32 10m 35s gusthoff:content/advanced_ada/new_content/exceptions/checks_exceptions/program_error_check
gusthoff:content/advanced_ada/new_content/exceptions/checks_exceptions/program_error_check
February 7, 2025 22:32 10m 35s
Merge pull request #1170 from gusthoff/content/advanced_ada/new_conte… Sphinx Content Tests #2124: Commit df94128 pushed by gusthoff
February 7, 2025 21:52 9m 56s master
master
February 7, 2025 21:52 9m 56s
Adding subsection on Full_Access_Only aspect Sphinx Content Tests #2123: Pull request #1170 synchronize by gusthoff
February 7, 2025 18:59 11m 6s gusthoff:content/advanced_ada/new_content/types_representation/full_access_only/20241124
gusthoff:content/advanced_ada/new_content/types_representation/full_access_only/20241124
February 7, 2025 18:59 11m 6s
Adding section on atomic operations Sphinx Content Tests #2122: Pull request #1171 synchronize by gusthoff
February 7, 2025 18:35 10m 23s gusthoff:content/advanced_ada/new_content/shared_variable_control/atomic_operations/20250106
gusthoff:content/advanced_ada/new_content/shared_variable_control/atomic_operations/20250106
February 7, 2025 18:35 10m 23s
Adding section on atomic operations Sphinx Content Tests #2121: Pull request #1171 synchronize by gusthoff
February 7, 2025 18:32 10m 14s gusthoff:content/advanced_ada/new_content/shared_variable_control/atomic_operations/20250106
gusthoff:content/advanced_ada/new_content/shared_variable_control/atomic_operations/20250106
February 7, 2025 18:32 10m 14s
Merge pull request #1181 from gusthoff/content/ada_idioms/review/edit… Sphinx Content Tests #2120: Commit 772c729 pushed by gusthoff
February 7, 2025 15:30 11m 17s master
master
February 7, 2025 15:30 11m 17s
Editorial change: adding details about 2025-01 release Sphinx Content Tests #2119: Pull request #1181 opened by gusthoff
February 7, 2025 14:07 9m 57s gusthoff:content/ada_idioms/review/editorial/general/20250207/changelog
gusthoff:content/ada_idioms/review/editorial/general/20250207/changelog
February 7, 2025 14:07 9m 57s
Merge pull request #1180 from gusthoff/content/ada_idioms/review/edit… Sphinx Content Tests #2118: Commit 34265b9 pushed by gusthoff
January 31, 2025 20:57 11m 4s master
master
January 31, 2025 20:57 11m 4s
Editorial change: renaming course to "Ada In Practice" Sphinx Content Tests #2117: Pull request #1180 opened by gusthoff
January 31, 2025 20:07 10m 18s gusthoff:content/ada_idioms/review/editorial/structure/20250131
gusthoff:content/ada_idioms/review/editorial/structure/20250131
January 31, 2025 20:07 10m 18s
intro-to-spark/chapters/01_Overview.rst: replace codepeer with GNAT SAS Sphinx Content Tests #2116: Commit bc236c0 pushed by gusthoff
January 31, 2025 14:10 11m 26s master
master
January 31, 2025 14:10 11m 26s
intro-to-spark/chapters/01_Overview.rst: replace codepeer with GNAT SAS Sphinx Content Tests #2115: Pull request #1179 opened by Fabien-Chouteau
January 30, 2025 09:20 11m 6s codepeer-to-gnatsas
codepeer-to-gnatsas
January 30, 2025 09:20 11m 6s
intro-to-spark/chapters/01_Overview.rst: replace codepeer with GNAT SAS Sphinx Content Tests #2114: Commit 13ba8e0 pushed by Fabien-Chouteau
January 30, 2025 09:20 10m 50s codepeer-to-gnatsas
codepeer-to-gnatsas
January 30, 2025 09:20 10m 50s
Merge pull request #1178 from gusthoff/content/ada_idioms/review/edit… Sphinx Content Tests #2113: Commit 21e761a pushed by gusthoff
January 30, 2025 08:11 9m 30s master
master
January 30, 2025 08:11 9m 30s
Editorial change: replace plain footnotes by references using bibtex Sphinx Content Tests #2112: Pull request #1178 opened by gusthoff
January 25, 2025 00:57 10m 21s gusthoff:content/ada_idioms/review/editorial/structure/20250125
gusthoff:content/ada_idioms/review/editorial/structure/20250125
January 25, 2025 00:57 10m 21s
Merge pull request #1177 from gusthoff/topic/infrastructure/sphinx/st… Sphinx Content Tests #2111: Commit c0d4f6e pushed by gusthoff
January 25, 2025 00:35 10m 42s master
master
January 25, 2025 00:35 10m 42s
Sphinx: add support for bibliography using bibtex Sphinx Content Tests #2110: Pull request #1177 opened by gusthoff
January 25, 2025 00:35 10m 19s gusthoff:topic/infrastructure/sphinx/structure/20250124/bibtex_support
gusthoff:topic/infrastructure/sphinx/structure/20250124/bibtex_support
January 25, 2025 00:35 10m 19s
Merge pull request #1176 from gusthoff/content/ada_idioms/review/edit… Sphinx Content Tests #2109: Commit 8db3e96 pushed by gusthoff
January 25, 2025 00:31 10m 35s master
master
January 25, 2025 00:31 10m 35s
Editorial change: various changes to "Ada Idioms" course Sphinx Content Tests #2108: Pull request #1176 opened by gusthoff
January 25, 2025 00:30 10m 39s gusthoff:content/ada_idioms/review/editorial/general/20250124
gusthoff:content/ada_idioms/review/editorial/general/20250124
January 25, 2025 00:30 10m 39s
Merge pull request #1175 from pat-rogers/master Sphinx Content Tests #2107: Commit c5dd329 pushed by gusthoff
January 17, 2025 21:58 10m 12s master
master
January 17, 2025 21:58 10m 12s
Use consistent scheme for multiple implementations Sphinx Content Tests #2106: Pull request #1175 opened by pat-rogers
January 17, 2025 21:55 10m 38s pat-rogers:master
pat-rogers:master
January 17, 2025 21:55 10m 38s
Merge pull request #1174 from pat-rogers/master Sphinx Content Tests #2105: Commit eef5b84 pushed by gusthoff
January 17, 2025 21:49 11m 42s master
master
January 17, 2025 21:49 11m 42s
correct logical nesting depth of the two entries Sphinx Content Tests #2104: Pull request #1174 opened by pat-rogers
January 17, 2025 21:40 11m 34s pat-rogers:master
pat-rogers:master
January 17, 2025 21:40 11m 34s