diff options
| -rw-r--r-- | .github/workflows/docs.yml | 1 | ||||
| -rw-r--r-- | README.md | 2 |
2 files changed, 2 insertions, 1 deletions
diff --git a/.github/workflows/docs.yml b/.github/workflows/docs.yml index a0105d6ca..e0b6fdaba 100644 --- a/.github/workflows/docs.yml +++ b/.github/workflows/docs.yml @@ -1,6 +1,7 @@ name: Build docs on: + push: pull_request: paths: - docs/** @@ -1,4 +1,4 @@ -[](https://github.com/micropython/micropython/actions?query=branch%3Amaster+event%3Apush) [](https://codecov.io/gh/micropython/micropython) +[](https://github.com/micropython/micropython/actions?query=branch%3Amaster+event%3Apush) [](https://github.com/micropython/micropython/actions?query=branch%3Amaster+event%3Apush) [](https://docs.micropython.org/) [](https://codecov.io/gh/micropython/micropython) The MicroPython project ======================= |