diff --git a/.github/workflows/pr.yml b/.github/workflows/pr.yml index 6ed9bc1..08fd7b1 100644 --- a/.github/workflows/pr.yml +++ b/.github/workflows/pr.yml @@ -5,6 +5,7 @@ name: Galaxy Tool Linting and Tests for push and PR # MODIFIED START on: + workflow_dispatch: {} push: branches: [main] paths: @@ -228,7 +229,7 @@ jobs: file_sizes: name: Check file sizes needs: setup - if: ${{ needs.setup.outputs.repository-list != '' }} + if: ${{ needs.setup.outputs.repository-list != '' }} # MODIFIED runs-on: ubuntu-latest steps: - uses: actions/checkout@v4 @@ -368,7 +369,7 @@ jobs: # deploy the tools to the toolsheds (first TTS for testing) deploy: name: Deploy - needs: [setup, file_sizes, combine_outputs] # MODIFIED + needs: [setup, combine_outputs] # MODIFIED if: ${{ (github.ref == 'refs/heads/master' || github.ref == 'refs/heads/main' ) && github.repository_owner == 'qiime2' }} # MODIFIED runs-on: ubuntu-latest strategy: