From 7881d941a8cc4a7916d213fe5450932c1b2d557c Mon Sep 17 00:00:00 2001
From: Koen Baas <koen@qlic.nl>
Date: Thu, 11 Jun 2026 08:19:32 +0000
Subject: [PATCH] Update .gitea/workflows/pest.yml

---
 .gitea/workflows/pest.yml | 106 +-------------------------------------
 1 file changed, 1 insertion(+), 105 deletions(-)

diff --git a/.gitea/workflows/pest.yml b/.gitea/workflows/pest.yml
index 5932caf..3065390 100644
--- a/.gitea/workflows/pest.yml
+++ b/.gitea/workflows/pest.yml
@@ -23,10 +23,6 @@ on:
         required: false
         type: string
         default: '--coverage --coverage-clover=coverage.xml'
-      coverage_badge:
-        required: false
-        type: boolean
-        default: false
 
 permissions:
   contents: write
@@ -50,104 +46,4 @@ jobs:
             php -d pcov.enabled=1 -d pcov.directory=. ./vendor/bin/pest ${{ inputs.coverage_args }}
           else
             ./vendor/bin/pest
-          fi
-
-      - name: Generate coverage badge
-        if: ${{ inputs.coverage_badge }}
-        run: |
-          mkdir -p .gitea/badges
-
-          php <<'PHP'
-          <?php
-
-          $coverageFile = 'coverage.xml';
-          $badgeFile = '.gitea/badges/coverage.svg';
-
-          if (! file_exists($coverageFile)) {
-              fwrite(STDERR, "coverage.xml not found\n");
-              exit(1);
-          }
-
-          $xml = simplexml_load_file($coverageFile);
-
-          if (! $xml) {
-              fwrite(STDERR, "Could not parse coverage.xml\n");
-              exit(1);
-          }
-
-          $metrics = $xml->project->metrics ?? $xml->metrics ?? null;
-
-          if (! $metrics) {
-              fwrite(STDERR, "No coverage metrics found in coverage.xml\n");
-              exit(1);
-          }
-
-          $covered = (int) ($metrics['coveredstatements'] ?? 0);
-          $total = (int) ($metrics['statements'] ?? 0);
-
-          if ($total === 0) {
-              $percentage = 0;
-          } else {
-              $percentage = round(($covered / $total) * 100, 1);
-          }
-
-          $color = match (true) {
-              $percentage >= 90 => '#4c1',
-              $percentage >= 80 => '#97ca00',
-              $percentage >= 70 => '#dfb317',
-              $percentage >= 60 => '#fe7d37',
-              default => '#e05d44',
-          };
-
-          $label = 'coverage';
-          $message = $percentage . '%';
-
-          $labelWidth = 68;
-          $messageWidth = 48;
-          $width = $labelWidth + $messageWidth;
-
-          $svg = <<<SVG
-          <svg xmlns="http://www.w3.org/2000/svg" width="$width" height="20" role="img" aria-label="$label: $message">
-            <title>$label: $message</title>
-            <linearGradient id="s" x2="0" y2="100%">
-              <stop offset="0" stop-color="#bbb" stop-opacity=".1"/>
-              <stop offset="1" stop-opacity=".1"/>
-            </linearGradient>
-            <clipPath id="r">
-              <rect width="$width" height="20" rx="3" fill="#fff"/>
-            </clipPath>
-            <g clip-path="url(#r)">
-              <rect width="$labelWidth" height="20" fill="#555"/>
-              <rect x="$labelWidth" width="$messageWidth" height="20" fill="$color"/>
-              <rect width="$width" height="20" fill="url(#s)"/>
-            </g>
-            <g fill="#fff" text-anchor="middle" font-family="Verdana,Geneva,DejaVu Sans,sans-serif" text-rendering="geometricPrecision" font-size="110">
-              <text aria-hidden="true" x="340" y="150" fill="#010101" fill-opacity=".3" transform="scale(.1)" textLength="580">coverage</text>
-              <text x="340" y="140" transform="scale(.1)" fill="#fff" textLength="580">coverage</text>
-              <text aria-hidden="true" x="920" y="150" fill="#010101" fill-opacity=".3" transform="scale(.1)" textLength="380">$message</text>
-              <text x="920" y="140" transform="scale(.1)" fill="#fff" textLength="380">$message</text>
-            </g>
-          </svg>
-          SVG;
-
-          file_put_contents($badgeFile, $svg);
-
-          echo "Generated $badgeFile with $message\n";
-          PHP
-
-      - name: Commit coverage badge
-        if: ${{ inputs.coverage_badge && gitea.event_name == 'push' && gitea.ref_name == gitea.event.repository.default_branch }}
-        run: |
-          git config --global --add safe.directory "$GITHUB_WORKSPACE"
-          git config user.name "gitea-actions"
-          git config user.email "gitea-actions@git.qlic.nl"
-
-          git add .gitea/badges/coverage.svg
-
-          if git diff --cached --quiet; then
-            echo "Coverage badge unchanged"
-            exit 0
-          fi
-
-          git commit -m "Update coverage badge [skip ci]"
-          git push
\ No newline at end of file
+          fi
\ No newline at end of file