diff options
author | Gereon Kremer <nafur42@gmail.com> | 2021-10-15 13:54:06 -0700 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-10-15 20:54:06 +0000 |
commit | 7649c3ba5d8df6665ff2ac18cb5df5a8dbfcd4a2 (patch) | |
tree | 8d4b6bf943bba2e0f34508c4187dfd6f1efe3ccd /test/regress/regress1/nl | |
parent | 66a3314ce9a92112c6a89667f343085aca565ae5 (diff) |
Have docs_upload properly upload tags. (#7352)
This PR improves our docs-ci mechanism to properly upload documentation for tags.
Diffstat (limited to 'test/regress/regress1/nl')
0 files changed, 0 insertions, 0 deletions