Add `doc_builder_revision` as workflow input to ease debugging#399

Merged

mishig25 merged 1 commit intomainfrom extra-debug-arg-in-workflow

Sep 21, 2023

+8-1

Commits on Sep 20, 2023

Add 'doc_builder_revision' arg to workflow input
Wauplin
committed