Guess the Rec branch name on-the-fly as well for make_functor_Docs in CI
Related merge request !3449 to merge rjhunter-fix-doc-builds
merge request
7 jobs
18 minutes 27 seconds, queued for 2 seconds