Revert "ci: gate coverage analysis on whether source code changed"
This reverts commit 32f9b1a231
.
This commit is contained in:
parent
f495bd9681
commit
ec3e4e8801
|
@ -5,20 +5,7 @@ on:
|
|||
name: Code coverage with llvm-cov
|
||||
|
||||
jobs:
|
||||
Prepare:
|
||||
runs-on: ubuntu-latest
|
||||
outputs:
|
||||
pr_changed_source: ${{ steps.classify_pr.outputs.pr_changed_source }}
|
||||
steps:
|
||||
- name: Checkout Crate
|
||||
uses: actions/checkout@v4
|
||||
- name: Determine what files the PR changes.
|
||||
id: classify_pr
|
||||
run: contrib/classify-pr.sh ${{ github.event.pull_request.head.sha }} ${{ github.event.pull_request.base.sha }}
|
||||
|
||||
Coveralls:
|
||||
needs: Prepare
|
||||
if: needs.Prepare.outputs.pr_changed_source == 'true'
|
||||
name: Code coverage - stable toolchain
|
||||
runs-on: ubuntu-latest
|
||||
strategy:
|
||||
|
|
|
@ -16,10 +16,6 @@ git fetch origin "$pr_tip":pr_tip
|
|||
|
||||
pr_base=$(git merge-base master_tip pr_tip)
|
||||
|
||||
echo "Using master $master_tip"
|
||||
echo "Using PR tip $pr_tip"
|
||||
echo "Using PR base $pr_base"
|
||||
|
||||
# If something modifies any non-markdown file, it's considered a source code change.
|
||||
if git diff --name-only "$pr_base" "$pr_tip" | grep -qv "^.md$"; then
|
||||
echo "pr_changed_source=true" >> "$GITHUB_OUTPUT"
|
||||
|
|
Loading…
Reference in New Issue