try again

.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