+8
−30
+2
−2
coverage/control.js
0 → 100644
+104
−0
coverage/index.html
0 → 100644
+1
−0
coverage/style.css
0 → 100644
+194
−0
Loading
Remove CI cover job — coverage is now generated locally via `./dev.sh cov` or `make cov`. Unify the CMake cov and cov-html targets into a single cov target that produces HTML directly (llvm-cov for Clang, lcov+genhtml for GCC). Pages job deploys docs and includes coverage/ if checked in.