From e0dcb6dd358b2a06a1b4651d7b761e0b86abe9d8 Mon Sep 17 00:00:00 2001
From: Mathieu Fenniak <mathieu@fenniak.net>
Date: Fri, 15 Aug 2025 11:27:32 -0600
Subject: [PATCH] poke data-race-If to run CI