diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml index 27a5340..e8d8c8e 100644 --- a/.github/workflows/main.yml +++ b/.github/workflows/main.yml @@ -96,33 +96,6 @@ jobs: plugin_dirs='' - if [[ '${{ github.event_name }}' == 'pull_request' ]] - then - # Fetch and checkout branches to permit the 'git diff' below. - git fetch && git checkout ${{ github.base_ref }} - - head_ref='${{ github.head_ref }}' - source_repo="${{ github.event.pull_request.head.repo.full_name }}" - # Fetch and update local head ref if the source repository is not ours. - if [[ "$source_repo" != "${{ github.repository }}" ]] - then - git remote add other-remote https://github.com/$source_repo - git fetch other-remote - head_ref="other-remote/${{ github.head_ref }}" - fi - - # Restore original state - git checkout ${{ github.head_ref }} - - # Collect the plugins that have changed. - plugin_dirs=$(git diff --name-only ${{ github.base_ref }} $head_ref \ - | cut -d '/' -f1 \ - | uniq \ - | grep -v '^\.' \ - | grep -v 'archived' \ - | xargs -I {} find {} -maxdepth 0 -type d) - fi - # Run the tests: In the case of a 'pull_request' event only the plugins in `plugin_dirs` # are going to be tested; otherwise ('push' event) we test all plugins. python3 .ci/test.py $(echo "$plugin_dirs")