diff --git a/.github/workflows/update-index.yml b/.github/workflows/update-index.yml index 8861818..23f4999 100644 --- a/.github/workflows/update-index.yml +++ b/.github/workflows/update-index.yml @@ -3,6 +3,7 @@ on: push: branches: - master + - tweak-semeru schedule: - cron: "0 0 * * *" workflow_dispatch: @@ -19,7 +20,12 @@ jobs: - run: ./scala-cli.sh . env: GH_TOKEN: ${{ secrets.INDEX_GITHUB_TOKEN }} + + - name: Print diff + run: git diff --color + - name: Create Pull Request + if: github.ref == 'refs/heads/master' id: cpr uses: peter-evans/create-pull-request@v7.0.5 with: @@ -28,6 +34,7 @@ jobs: delete-branch: true title: Update index - name: Generate Job Summary + if: github.ref == 'refs/heads/master' run: |- PR_NUMBER=$(echo "${{ steps.cpr.outputs.pull-request-number }}") PR_URL=$(echo "${{ steps.cpr.outputs.pull-request-url }}")