diff options
| author | David Lechner <david@pybricks.com> | 2020-06-03 18:44:27 -0500 |
|---|---|---|
| committer | Damien George <damien.p.george@gmail.com> | 2020-06-05 21:42:10 +1000 |
| commit | eeca2c3cbe84975ffabd7fda932b2f5674e8b0fc (patch) | |
| tree | d87b2b0a9ef908420d1d0a3122076620d6d1d7a3 /docs/reference | |
| parent | 621f40b12c272788533dcafcef62ed2a3449bb3b (diff) | |
github: Add GitHub action to build docs.
This builds docs, but only on pull requests that change a file in the
docs/ directory.
Diffstat (limited to 'docs/reference')
0 files changed, 0 insertions, 0 deletions