New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Fix broken links for header files in Public API page #6354

Merged

bors merged 1 commit into STEllAR-GROUP:master from dimitraka:doc_manual

Sep 21, 2023

Merged

Fix broken links for header files in Public API page #6354

Fix missing links for header files

CircleCI Checks / build-and-test succeeded Sep 21, 2023 in 1h 28m 19s

Workflow: build-and-test

View CircleCI workflow

spellcheck - Success
checkout_code - Success
configure - Success
core - Success
tests.unit.algorithms - Success
tests.performance - Success
tests.headers2 - Success
tests.unit2 - Success
tests.unit.container_algorithms - Success
tests.headers4 - Success
tests.headers1 - Success
tests.headers3 - Success
tests.regressions - Success
tests.unit1 - Success
inspect - Success
depreport - Success
cmake_format - Success
check_circular_deps - Success
check_module_cmakelists - Success
configure_test_combinations - Success
tests.examples - Success
docs-html - Success
clang_format - Success
tests.unit.segmented_algorithms - Success
install - Success
push_stable_tag - Success

View more details on CircleCI Checks