Unverified Commit d80f1199 authored by Massimiliano Pippi's avatar Massimiliano Pippi Committed by GitHub

fix links (#604)

parent bdcfd89e
...@@ -62,7 +62,7 @@ jobs: ...@@ -62,7 +62,7 @@ jobs:
- name: Deploy - name: Deploy
# publish docs only when PR is merged # publish docs only when PR is merged
if: github.event.pull_request.merged == 'true' if: github.event.pull_request.merged == true
uses: peaceiris/actions-gh-pages@v3 uses: peaceiris/actions-gh-pages@v3
with: with:
github_token: ${{ secrets.GITHUB_TOKEN }} github_token: ${{ secrets.GITHUB_TOKEN }}
......
...@@ -37,9 +37,10 @@ the source code, run the tests, and contribute your changes to the project. ...@@ -37,9 +37,10 @@ the source code, run the tests, and contribute your changes to the project.
[tests-badge]: https://github.com/Arduino/arduino-cli/workflows/test/badge.svg [tests-badge]: https://github.com/Arduino/arduino-cli/workflows/test/badge.svg
[nightly-badge]: https://github.com/Arduino/arduino-cli/workflows/nightly/badge.svg [nightly-badge]: https://github.com/Arduino/arduino-cli/workflows/nightly/badge.svg
[codecov-badge]: https://codecov.io/gh/arduino/arduino-cli/branch/master/graph/badge.svg [codecov-badge]: https://codecov.io/gh/arduino/arduino-cli/branch/master/graph/badge.svg
[Install]: https://arduino.github.io/arduino-cli/installation
[User documentation]: https://arduino.github.io/arduino-cli/ [User documentation]: https://arduino.github.io/arduino-cli/
[Getting Started]: https://arduino.github.io/arduino-cli/getting-started/ [Getting Started]: https://arduino.github.io/arduino-cli/getting-started/
[Commands reference]: https://arduino.github.io/arduino-cli/commands/ [Commands reference]: https://arduino.github.io/arduino-cli/commands/arduino-cli
[FAQ]: https://arduino.github.io/arduino-cli/FAQ/ [FAQ]: https://arduino.github.io/arduino-cli/FAQ/
[How to contribute]: https://arduino.github.io/arduino-cli/CONTRIBUTING/ [How to contribute]: https://arduino.github.io/arduino-cli/CONTRIBUTING/
[contributors]: https://github.com/arduino/arduino-cli/graphs/contributors [contributors]: https://github.com/arduino/arduino-cli/graphs/contributors
Markdown is supported
0%
or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment