From bbb5d3d28b6c287a9baaf55e5767a130f1a12940 Mon Sep 17 00:00:00 2001
From: Erick Ratamero <erickmartins@users.noreply.github.com>
Date: Mon, 5 Jun 2023 17:53:52 +0000
Subject: [PATCH] Automated updating coverage badge