From 5e27de9a40bc8f339c662482370a7e999eb0e104 Mon Sep 17 00:00:00 2001
From: Mathias Fredriksson <mafredri@gmail.com>
Date: Tue, 16 Dec 2025 16:48:37 +0000
Subject: [PATCH] chore(ci): remove dev branch jobs and add static.sh

Remove bench-dev and test-dev jobs from daily workflow since the dev
branch no longer exists.

Add ci/static.sh script to generate coverage badge for GitHub Pages.

Refs #539
---
 .github/workflows/daily.yml | 30 ------------------------------
 ci/static.sh                | 20 ++++++++++++++++++++
 2 files changed, 20 insertions(+), 30 deletions(-)
 create mode 100755 ci/static.sh

diff --git a/.github/workflows/daily.yml b/.github/workflows/daily.yml
index 62e3d337..01c08f72 100644
--- a/.github/workflows/daily.yml
+++ b/.github/workflows/daily.yml
@@ -34,33 +34,3 @@ jobs:
         with:
           name: coverage.html
           path: ./ci/out/coverage.html
-  bench-dev:
-    runs-on: ubuntu-latest
-    steps:
-      - uses: actions/checkout@v4
-        with:
-          ref: dev
-      - uses: actions/setup-go@v5
-        with:
-          go-version-file: ./go.mod
-      - run: AUTOBAHN=1 make bench
-  test-dev:
-    runs-on: ubuntu-latest
-    steps:
-      - name: Disable AppArmor
-        if: runner.os == 'Linux'
-        run: |
-          # Disable AppArmor for Ubuntu 23.10+.
-          # https://chromium.googlesource.com/chromium/src/+/main/docs/security/apparmor-userns-restrictions.md
-          echo 0 | sudo tee /proc/sys/kernel/apparmor_restrict_unprivileged_userns
-      - uses: actions/checkout@v4
-        with:
-          ref: dev
-      - uses: actions/setup-go@v5
-        with:
-          go-version-file: ./go.mod
-      - run: AUTOBAHN=1 make test
-      - uses: actions/upload-artifact@v4
-        with:
-          name: coverage-dev.html
-          path: ./ci/out/coverage.html
diff --git a/ci/static.sh b/ci/static.sh
new file mode 100755
index 00000000..68d4b6e7
--- /dev/null
+++ b/ci/static.sh
@@ -0,0 +1,20 @@
+#!/usr/bin/env bash
+set -eu
+
+cd -- "$(dirname "$0")/.."
+
+if [[ ! -f ./ci/out/profile.txt ]]; then
+	echo "No coverage profile found, run 'make test' first"
+	exit 1
+fi
+
+if [[ ! -f ./ci/out/coverage.html ]]; then
+	echo "No coverage report found, run 'make test' first"
+	exit 1
+fi
+
+rm -rf ./ci/out/static
+mkdir -p ./ci/out/static
+cp ./ci/out/coverage.html ./ci/out/static/coverage.html
+percent=$(go tool cover -func ./ci/out/profile.txt | tail -n1 | awk '{print $3}' | tr -d '%')
+wget -O ./ci/out/static/coverage.svg "https://img.shields.io/badge/coverage-${percent}%25-success"