CI: Specify this repository explicitly

So that it can be shared with other repos.
2026-06-06 08:36:24 +08:00 · 2020-03-31 15:08:32 +09:00
parent 9c3c1d0a7a
commit b30b942417
1 changed files with 1 additions and 0 deletions
@@ -28,6 +28,7 @@ jobs:
    - name: Checkout nuttx repo
      uses: actions/checkout@v2
      with:
+        repository: apache/incubator-nuttx
        path: nuttx
        fetch-depth: 0