From 8e3d1c7fa62d6adf7072bae8bd9396515a6ea3b4 Mon Sep 17 00:00:00 2001
From: Erick Ratamero <erickmartins@users.noreply.github.com>
Date: Fri, 7 Jul 2023 14:08:49 +0000
Subject: [PATCH] Automated updating coverage badge