PR #18795 ci: simplify/unify make docs targets

ci: simplify/unify make docs targets #18795

Borda merged 1 commit into master from ci/docs-make

Borda requested a review from

carmocca 2 years ago

Borda requested a review from

ethanwharris 2 years ago

Borda requested a review from

justusschock 2 years ago

Borda requested a review from

lantiga 2 years ago

Borda requested a review from

tchaton 2 years ago

Borda requested a review from

awaelchli 2 years ago

Borda added this to the 2.1.x milestone 2 years ago

github-actions added docs

github-actions added ci

ci: simplify/unify make docs targets

3a515bfe

Borda force pushed from 128d0fbb to 3a515bfe 2 years ago

awaelchli approved these changes on 2023-10-13

Borda commented on 2023-10-13

justusschock approved these changes on 2023-10-13

mergify added ready

Borda merged a001779b into master 2 years ago

Borda deleted the ci/docs-make branch 2 years ago

Reviewers

justusschock

awaelchli

carmocca

ethanwharris

lantiga

tchaton

Assignees

No one assigned

Labels

ready docs ci

Milestone

2.1.x