| commit | 101d5ec7d7fe122fa81a377c8ab8b562d1add9ee | [log] [tgz] |
|---|---|---|
| author | Hugo van Kemenade <hugovk@users.noreply.github.com> | Fri Jun 16 14:04:34 2023 +0300 |
| committer | GitHub <noreply@github.com> | Fri Jun 16 14:04:34 2023 +0300 |
| tree | 522a8f210fd567f9edcdde9bc6240a7c3ca77d18 | |
| parent | 0bffe1acd78069ea21f6b1347bec9cc9747342cb [diff] |
CI: Remove docs build from Azure Pipelines (#105823)