| commit | b9877ce549a6e3f238f0cb0c061fbe8ff85fa374 | [log] [tgz] |
|---|---|---|
| author | Adrià Vilanova MartÃnez <me@avm99963.com> | Thu Nov 30 01:05:04 2023 +0100 |
| committer | Copybara bot <copybara-bot@avm99963.com> | Thu Nov 30 00:08:32 2023 +0000 |
| tree | a041155640ff1b446407239b1c74140e6bcb7456 | |
| parent | f891146871b283dab7e6ece9420ba82da7514487 [diff] [blame] |
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
diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml index eb687b7..e9fe052 100644 --- a/.github/workflows/build.yml +++ b/.github/workflows/build.yml
@@ -3,6 +3,7 @@ push: branches: - master + - main paths: - 'docs/**'