From 1bd9e47aeb5c720691bc13fcee8dd887bc5ae3f4 Mon Sep 17 00:00:00 2001 From: micsza Date: Tue, 21 Nov 2023 15:20:08 +0100 Subject: [PATCH] try again --- .github/workflows/ci.yml | 90 ++++++++++++++++++++-------------------- 1 file changed, 45 insertions(+), 45 deletions(-) diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index 2b46637..f433ec1 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -12,51 +12,51 @@ jobs: - uses: srvaroa/labeler@master env: GITHUB_TOKEN: "${{ secrets.GITHUB_TOKEN }}" - output: - runs-on: ubuntu-latest - steps: - - id: sets-a-secret - name: Generate, mask, and output a secret - run: | - the_secret=$((RANDOM)) - echo "::add-mask::$the_secret" - echo "secret-number=$the_secret" >> "$GITHUB_OUTPUT" - - name: Use that secret output (protected by a mask) - run: | - echo "the secret number is ${{ steps.sets-a-secret.outputs.secret-number }}" - auto-merge: - name: Auto merge - runs-on: ubuntu-20.04 - steps: - - name: View PR author - run: echo "This PR is opened by ${{ github.event.pull_request.user.login }} ." - - name: Checkout - uses: actions/checkout@v3 - with: - fetch-depth: 0 - - name: Get changes - run: git diff --name-only ${{ github.event.before }} ${{ github.event.after }} - - auto-merge-2: - name: Auto merge 2 - runs-on: ubuntu-20.04 - steps: - - uses: actions/checkout@v3 - with: - fetch-depth: ${{ github.event_name == 'pull_request' && 2 || 0 }} - - name: Get changed files - id: changed-files - run: | - if ${{ github.event_name == 'pull_request' }}; then - echo "changed_files=$(git diff --name-only -r HEAD^1 HEAD | xargs)" >> $GITHUB_OUTPUT - else - echo "changed_files=$(git diff --name-only ${{ github.event.before }} ${{ github.event.after }} | xargs)" >> $GITHUB_OUTPUT - fi - - name: List changed files - run: | - for file in ${{ steps.changed-files.outputs.changed_files }}; do - echo "$file was changed" - done +# output: +# runs-on: ubuntu-latest +# steps: +# - id: sets-a-secret +# name: Generate, mask, and output a secret +# run: | +# the_secret=$((RANDOM)) +# echo "::add-mask::$the_secret" +# echo "secret-number=$the_secret" >> "$GITHUB_OUTPUT" +# - name: Use that secret output (protected by a mask) +# run: | +# echo "the secret number is ${{ steps.sets-a-secret.outputs.secret-number }}" +# auto-merge: +# name: Auto merge +# runs-on: ubuntu-20.04 +# steps: +# - name: View PR author +# run: echo "This PR is opened by ${{ github.event.pull_request.user.login }} ." +# - name: Checkout +# uses: actions/checkout@v3 +# with: +# fetch-depth: 0 +# - name: Get changes +# run: git diff --name-only ${{ github.event.before }} ${{ github.event.after }} +# +# auto-merge-2: +# name: Auto merge 2 +# runs-on: ubuntu-20.04 +# steps: +# - uses: actions/checkout@v3 +# with: +# fetch-depth: ${{ github.event_name == 'pull_request' && 2 || 0 }} +# - name: Get changed files +# id: changed-files +# run: | +# if ${{ github.event_name == 'pull_request' }}; then +# echo "changed_files=$(git diff --name-only -r HEAD^1 HEAD | xargs)" >> $GITHUB_OUTPUT +# else +# echo "changed_files=$(git diff --name-only ${{ github.event.before }} ${{ github.event.after }} | xargs)" >> $GITHUB_OUTPUT +# fi +# - name: List changed files +# run: | +# for file in ${{ steps.changed-files.outputs.changed_files }}; do +# echo "$file was changed" +# done ci: # run on external PRs, but not on internal PRs since those will be run by push to branch