Thanks to visit codestin.com
Credit goes to github.com

Skip to content

Conversation

@joaquintides
Copy link
Member

Antora currently has a limitation by which it must be run in a proper Git repo (as opposed to a submodule of a superproject). The Boost release script fixes that by doing some Git adjustments on those submodules it identifies as bulding Antora docs, which identification is done heuristically by looking for an antora_docs.sh or build_antora.sh file:

https://github.com/boostorg/release-tools/blob/d27012edbe2516ce8c38798244a153a216ccba95/ci_boost_release.py#L495-L536

@joaquintides joaquintides changed the title renamed build_docs.sh to build_antora.sh as per ci_boost_release.py requisites renamed build_docs.sh to build_antora.sh as per ci_boost_release.py requisites Oct 24, 2025
@codecov
Copy link

codecov bot commented Oct 25, 2025

Codecov Report

✅ All modified and coverable lines are covered by tests.
✅ Project coverage is 96.56%. Comparing base (354c63c) to head (1235291).
⚠️ Report is 1 commits behind head on develop.

Additional details and impacted files

Impacted file tree graph

@@           Coverage Diff            @@
##           develop      #98   +/-   ##
========================================
  Coverage    96.56%   96.56%           
========================================
  Files            5        5           
  Lines          785      785           
  Branches       233      233           
========================================
  Hits           758      758           
  Misses          27       27           

Continue to review full report in Codecov by Sentry.

Legend - Click here to learn more
Δ = absolute <relative> (impact), ø = not affected, ? = missing data
Powered by Codecov. Last update 354c63c...1235291. Read the comment docs.

🚀 New features to boost your workflow:
  • ❄️ Test Analytics: Detect flaky tests, report on failures, and find test suite problems.

@gennaroprota gennaroprota merged commit f12c918 into boostorg:develop Oct 30, 2025
62 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants