Skip to content

Fix build with doctest 2.5.x - #678

Open
rosset wants to merge 1 commit into
man-group:mainfrom
rosset:main
Open

Fix build with doctest 2.5.x#678
rosset wants to merge 1 commit into
man-group:mainfrom
rosset:main

Fix build with doctest 2.5.x

7ff3630
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 warning
build-docs
succeeded Aug 7, 2026 in 35s