From 13c16993cfdfe2b7f069597a89d95ed3dd590564 Mon Sep 17 00:00:00 2001
From: "Jonathan D.A. Jewell" <j.d.a.jewell@open.ac.uk>
Date: Sun, 20 Sep 2026 22:18:03 +0000
Subject: [PATCH] chore(ci): remove dead Codecov upload steps + lock pins

Line-exact removal of dead-app CI references.
---
 aletheia/.github/workflows/rust-ci.yml | 3 ---
 1 file changed, 3 deletions(-)

diff --git a/aletheia/.github/workflows/rust-ci.yml b/aletheia/.github/workflows/rust-ci.yml
index a7e5190..1db60f9 100644
--- a/aletheia/.github/workflows/rust-ci.yml
+++ b/aletheia/.github/workflows/rust-ci.yml
@@ -51,6 +51,3 @@ jobs:
         run: cargo install cargo-tarpaulin
       - name: Generate coverage
         run: cargo tarpaulin --out Xml
-      - uses: codecov/codecov-action@671740ac38dd9b0130fbe1cec585b89eea48d3de # v5
-        with:
-          files: cobertura.xml