Try adding conditional to avoid duplicate builds

2023-09-30 16:50:54 +02:00
parent a450e2910f
commit a67a9c4b32
1 changed files with 2 additions and 0 deletions
@@ -42,6 +42,8 @@ jobs:
        platform: [ubuntu-20.04]

    runs-on: ${{ matrix.platform }}
+    # a push event from the origin repo, or a PR from external repo
+    if: ${{ github.event_name == 'push' || github.event.pull_request.head.repo.full_name != 'nymtech/nym' }}
    steps:
      - uses: actions/checkout@v3