Merge pull request #12 from arduino/repo-rename

updated build file to reflect new repo name

Author: ubidefeo

.github/workflows/build.yml

@@ -19,7 +19,7 @@ env:
 
 jobs:
   build:
-    if: github.repository == 'arduino/MicroPython_Lab'
+    if: github.repository == 'arduino/lab-micropython-editor'
     strategy:
       fail-fast: false
       matrix:
@@ -192,7 +192,7 @@ jobs:
 
   release:
     needs: build
-    if: github.repository == 'arduino/MicroPython_Lab' && startsWith(github.ref, 'refs/tags/')
+    if: github.repository == 'arduino/lab-micropython-editor' && startsWith(github.ref, 'refs/tags/')
     runs-on: ubuntu-latest
     steps:
       - name: Download [GitHub Actions]