diff options
author | Dave Madison <dmadison@users.noreply.github.com> | 2022-02-22 02:32:00 -0500 |
---|---|---|
committer | GitHub <noreply@github.com> | 2022-02-22 02:32:00 -0500 |
commit | d52b6ea456dd145025659359847e3ba8b58b5a27 (patch) | |
tree | 7c106c4e741e47ef5dd9f4f45529fd6a6010a896 /.github/workflows/ci.yml | |
parent | f47a97522dc28c16c432422e3085035de69cfaf6 (diff) | |
parent | 6f5881438af5b416fe83b0721a51215b9833498c (diff) |
Merge pull request #14 from dmadison/upstream-1.8.4
Merge upstream tag '1.8.4'
Diffstat (limited to '.github/workflows/ci.yml')
-rw-r--r-- | .github/workflows/ci.yml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index a5f6455..9707eca 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -3,7 +3,7 @@ name: build on: [push, pull_request, workflow_dispatch] env: - IDE_VERSION: 1.8.13 + IDE_VERSION: 1.8.19 IDE_LOCATION: /usr/local/share/arduino jobs: |