commit | 2602d97a0ae92b2d320909024e901c202b003e14 | [log] [tgz] |
---|---|---|
author | Ammar Askar <ammar@ammaraskar.com> | Mon May 25 21:32:24 2020 +0000 |
committer | GitHub <noreply@github.com> | Mon May 25 22:32:24 2020 +0100 |
tree | a135b42e1ef43a49790fe1eb9c7e6ce3254f404d | |
parent | 9645930b5bc1833ef495891d22052d1ba65ab7ea [diff] |
[workflow] Use Sphinx problem matcher on GitHub docs builds (GH-20325)