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
644 workflow runs
644 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Adding section on derived array types and array subtypes Sphinx Content Tests #1969: Pull request #1128 synchronize by gusthoff
October 20, 2024 20:12 10m 50s 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 10m 50s
Adding section on variant parts Sphinx Content Tests #1968: Pull request #1127 synchronize by gusthoff
October 20, 2024 20:12 10m 20s 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 10m 20s
Adding section on derived array types and array subtypes Sphinx Content Tests #1967: Pull request #1128 opened by gusthoff
October 20, 2024 19:18 10m 10s 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 10m 10s
Merge pull request #1126 from AdaCore/describe_where_gnatcheck_rules_… Sphinx Content Tests #1966: Commit 3d30338 pushed by gusthoff
October 18, 2024 08:40 9m 56s master
master
October 18, 2024 08:40 9m 56s
Describe where gnatcheck rules come from Sphinx Content Tests #1965: Pull request #1126 synchronize by frank-at-adacore
October 17, 2024 18:10 11m 41s describe_where_gnatcheck_rules_come_from
describe_where_gnatcheck_rules_come_from
October 17, 2024 18:10 11m 41s
Remove references to gitlab issues Sphinx Content Tests #1964: Commit 017f0d0 pushed by frank-at-adacore
October 17, 2024 18:09 10m 31s describe_where_gnatcheck_rules_come_from
describe_where_gnatcheck_rules_come_from
October 17, 2024 18:09 10m 31s
Adding section on variant parts Sphinx Content Tests #1963: Pull request #1127 synchronize by gusthoff
October 13, 2024 11:34 10m 27s 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 10m 27s
Adding section on variant parts Sphinx Content Tests #1962: Pull request #1127 opened by gusthoff
October 13, 2024 02:49 10m 24s 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 10m 24s
Merge pull request #1125 from gusthoff/content/advanced_ada/new_conte… Sphinx Content Tests #1961: Commit 46eafbc pushed by gusthoff
October 12, 2024 17:30 9m 55s master
master
October 12, 2024 17:30 9m 55s
Adding section on unknown discriminants Sphinx Content Tests #1960: Pull request #1125 synchronize by gusthoff
October 12, 2024 11:49 10m 6s 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 10m 6s
Merge pull request #1123 from gusthoff/content/advanced_ada/new_conte… Sphinx Content Tests #1959: Commit 0081d55 pushed by gusthoff
October 11, 2024 23:49 10m 19s master
master
October 11, 2024 23:49 10m 19s
Adding section on discriminant constraints and operations Sphinx Content Tests #1958: Pull request #1123 synchronize by gusthoff
October 11, 2024 20:31 14m 12s 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 14m 12s
Improve description of lab exercise Sphinx Content Tests #1957: Commit ea67f46 pushed by gusthoff
October 11, 2024 19:58 9m 54s master
master
October 11, 2024 19:58 9m 54s
Describe where gnatcheck rules come from Sphinx Content Tests #1956: Pull request #1126 opened by frank-at-adacore
October 7, 2024 14:43 10m 10s describe_where_gnatcheck_rules_come_from
describe_where_gnatcheck_rules_come_from
October 7, 2024 14:43 10m 10s
Indicate which rules are builtin and which are defined in the repo Sphinx Content Tests #1955: Commit 66b4c9c pushed by frank-at-adacore
October 7, 2024 14:42 10m 18s describe_where_gnatcheck_rules_come_from
describe_where_gnatcheck_rules_come_from
October 7, 2024 14:42 10m 18s
Remove rule that is not actually used Sphinx Content Tests #1954: Commit 982e1ec pushed by frank-at-adacore
October 7, 2024 13:58 10m 50s describe_where_gnatcheck_rules_come_from
describe_where_gnatcheck_rules_come_from
October 7, 2024 13:58 10m 50s
Rule is not actually used, so remove it for clarity Sphinx Content Tests #1953: Commit a8d2d3d pushed by frank-at-adacore
October 7, 2024 13:53 10m 4s describe_where_gnatcheck_rules_come_from
describe_where_gnatcheck_rules_come_from
October 7, 2024 13:53 10m 4s
Editorial change: adding anchor Sphinx Content Tests #1952: Commit 69accc9 pushed by frank-at-adacore
October 7, 2024 13:39 10m 23s describe_where_gnatcheck_rules_come_from
describe_where_gnatcheck_rules_come_from
October 7, 2024 13:39 10m 23s
Adding section on unknown discriminants Sphinx Content Tests #1951: Pull request #1125 synchronize by gusthoff
October 6, 2024 16:27 9m 47s 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 9m 47s
Adding section on unknown discriminants Sphinx Content Tests #1950: Pull request #1125 opened by gusthoff
October 6, 2024 16:00 11m 16s 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 11m 16s
Editorial change: adding anchor Sphinx Content Tests #1949: Commit 69accc9 pushed by gusthoff
October 5, 2024 14:04 9m 49s master
master
October 5, 2024 14:04 9m 49s
Editorial change: adding anchor Sphinx Content Tests #1948: Pull request #1124 opened by gusthoff
October 5, 2024 14:04 10m 27s gusthoff:content/advanced_ada/review/editorial/general/20241005/anchor
gusthoff:content/advanced_ada/review/editorial/general/20241005/anchor
October 5, 2024 14:04 10m 27s
Adding section on discriminant constraints and operations Sphinx Content Tests #1947: Pull request #1123 opened by gusthoff
October 5, 2024 12:13 9m 41s gusthoff:content/advanced_ada/new_content/records/discriminant_constraints_operations/20241005
gusthoff:content/advanced_ada/new_content/records/discriminant_constraints_operations/20241005
October 5, 2024 12:13 9m 41s
Merge pull request #1122 from gusthoff/content/advanced_ada/review/ed… Sphinx Content Tests #1946: Commit b7dc804 pushed by gusthoff
October 5, 2024 12:09 10m 32s master
master
October 5, 2024 12:09 10m 32s
Editorial change: adding details about 2024-09 release Sphinx Content Tests #1945: Pull request #1122 opened by gusthoff
October 5, 2024 12:09 10m 33s gusthoff:content/advanced_ada/review/editorial/general/20241005/changelog
gusthoff:content/advanced_ada/review/editorial/general/20241005/changelog
October 5, 2024 12:09 10m 33s