tree cf1289ce6b11ee922dd3f971156dabe9115dad6a
parent b9877ce549a6e3f238f0cb0c061fbe8ff85fa374
author Adrià Vilanova Martínez <me@avm99963.com> 1701303192 +0100
committer Copybara bot <copybara-bot@avm99963.com> 1701303337 +0000

build: allow to trigger docs workflow manually

GitOrigin-RevId: 46b624ecbebfcb89214a3af9e4cc89a80df25a88