tree a041155640ff1b446407239b1c74140e6bcb7456
parent f891146871b283dab7e6ece9420ba82da7514487
author Adrià Vilanova Martínez <me@avm99963.com> 1701302704 +0100
committer Copybara bot <copybara-bot@avm99963.com> 1701302912 +0000

build: fix external repo docs workflow

The external repo has the main branch as the default branch. This CL
adds it to the docs workflow trigger so the docs can be published
correctly.

GitOrigin-RevId: c55fc969b513663d9459c06ea77183cb9d1dbc96