Skip to content

Commit d60edce

Browse files
Merge branch 'main' into marayerm/extension-sdk-path-passthrough
2 parents e5cd6b1 + 9fd30cc commit d60edce

2 files changed

Lines changed: 4 additions & 8 deletions

File tree

.github/scripts/generate-java-coverage-badge.sh

100644100755
Lines changed: 1 addition & 5 deletions
Original file line numberDiff line numberDiff line change
@@ -8,7 +8,7 @@ set -euo pipefail
88

99
CSV="${1:-target/site/jacoco-coverage/jacoco.csv}"
1010
BADGES_DIR="${2:-.github/badges}"
11-
GENERATED_PREFIX="com.github.copilot.sdk.generated"
11+
GENERATED_PREFIX="com.github.copilot.generated"
1212

1313
if [ ! -f "$CSV" ]; then
1414
echo "⚠️ No JaCoCo CSV report found at $CSV"
@@ -89,19 +89,15 @@ EOF
8989

9090
mkdir -p "$BADGES_DIR"
9191

92-
read -r overall_missed overall_covered <<< "$(calc_totals overall)"
9392
read -r handwritten_missed handwritten_covered <<< "$(calc_totals handwritten)"
9493
read -r generated_missed generated_covered <<< "$(calc_totals generated)"
9594

96-
overall_pct=$(format_pct "$overall_missed" "$overall_covered")
9795
handwritten_pct=$(format_pct "$handwritten_missed" "$handwritten_covered")
9896
generated_pct=$(format_pct "$generated_missed" "$generated_covered")
9997

100-
echo "Overall coverage: ${overall_pct}%"
10198
echo "Handwritten coverage: ${handwritten_pct}%"
10299
echo "Generated coverage: ${generated_pct}%"
103100

104-
generate_badge "coverage" "${overall_pct}%" "${BADGES_DIR}/jacoco.svg"
105101
generate_badge "coverage handwritten" "${handwritten_pct}%" "${BADGES_DIR}/jacoco-handwritten.svg"
106102
generate_badge "coverage generated" "${generated_pct}%" "${BADGES_DIR}/jacoco-generated.svg"
107103

.github/workflows/java-sdk-tests.yml

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -118,12 +118,12 @@ jobs:
118118
retention-days: 1
119119

120120
- name: Generate JaCoCo badge
121-
if: false # Disabled because it always fails on main
121+
if: success() && github.ref == 'refs/heads/main' && matrix.test-jdk == '25'
122122
working-directory: .
123-
run: .github/scripts/generate-java-coverage-badge.sh java/target/site/jacoco-coverage/jacoco.csv .github/badges
123+
run: bash .github/scripts/generate-java-coverage-badge.sh java/target/site/jacoco-coverage/jacoco.csv .github/badges
124124

125125
- name: Create PR for JaCoCo badge update
126-
if: false # Disabled because it always fails on main
126+
if: success() && github.ref == 'refs/heads/main' && matrix.test-jdk == '25'
127127
uses: peter-evans/create-pull-request@5f6978faf089d4d20b00c7766989d076bb2fc7f1 # v7
128128
with:
129129
commit-message: "Update Java JaCoCo coverage badge"

0 commit comments

Comments
 (0)