From 021c1fc1dad30f3f34b75e102548d37d46a6595e Mon Sep 17 00:00:00 2001
From: MilesCranmer <miles.cranmer@gmail.com>
Date: Sun, 3 Aug 2025 18:27:01 +0200
Subject: [PATCH] ci: trigger codecov output