Skip to content

Commit

Permalink
remove debounce
Browse files Browse the repository at this point in the history
  • Loading branch information
ttytm committed Oct 21, 2023
1 parent 7801522 commit 8dad6b7
Show file tree
Hide file tree
Showing 2 changed files with 0 additions and 38 deletions.
19 changes: 0 additions & 19 deletions .github/workflows/ci.yml
Original file line number Diff line number Diff line change
Expand Up @@ -15,27 +15,8 @@ env:
MOD_PATH: ~/.vmodules/vibe

jobs:
debounce:
runs-on: ubuntu-latest
env:
GH_TOKEN: ${{ github.token }}
outputs:
abort: ${{ steps.debounce.outputs.abort }}
steps:
- name: Debounce
if: github.event_name == 'push'
id: debounce
run: |
pr_branches=$(gh pr list --json headRefName --repo $GITHUB_REPOSITORY)
if [[ $(echo "$pr_branches" | jq -r --arg GITHUB_REF '.[].headRefName | select(. == $GITHUB_REF)') ]]; then
echo "This push is associated with a pull request. Skipping the job."
echo "abort=true" >> "$GITHUB_OUTPUT"
fi
setup:
runs-on: ubuntu-20.04
needs: debounce
if: needs.debounce.outputs.abort != 'true'
steps:
- name: Install V
uses: vlang/[email protected]
Expand Down
19 changes: 0 additions & 19 deletions .github/workflows/lint-docs.yml
Original file line number Diff line number Diff line change
Expand Up @@ -14,27 +14,8 @@ env:
MOD_PATH: ~/.vmodules/vibe/

jobs:
debounce:
runs-on: ubuntu-latest
env:
GH_TOKEN: ${{ github.token }}
outputs:
abort: ${{ steps.debounce.outputs.abort }}
steps:
- name: Debounce
if: github.event_name == 'push'
id: debounce
run: |
pr_branches=$(gh pr list --json headRefName --repo $GITHUB_REPOSITORY)
if [[ $(echo "$pr_branches" | jq -r --arg GITHUB_REF '.[].headRefName | select(. == $GITHUB_REF)') ]]; then
echo "This push is associated with a pull request. Skipping the job."
echo "abort=true" >> "$GITHUB_OUTPUT"
fi
check-docs:
runs-on: ubuntu-latest
needs: debounce
if: needs.debounce.outputs.abort != 'true'
steps:
- name: Restore Cache
id: cache-status
Expand Down

0 comments on commit 8dad6b7

Please sign in to comment.