From 6afa1c5be87eb5958ecb77b0e2826996ae5586fe Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Sun, 14 Sep 2025 05:16:54 -0700
Subject: [PATCH] add back coverage module

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
 .github/workflows/{coverage.yml.disabled => coverage.yml} | 0
 1 file changed, 0 insertions(+), 0 deletions(-)
 rename .github/workflows/{coverage.yml.disabled => coverage.yml} (100%)

diff --git a/.github/workflows/coverage.yml.disabled b/.github/workflows/coverage.yml
similarity index 100%
rename from .github/workflows/coverage.yml.disabled
rename to .github/workflows/coverage.yml