From af0113f41f550b7e58a09ee2d99b87e0c85a4877 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Tue, 7 Jan 2025 11:01:49 -0800 Subject: [PATCH] Disable the Code Coverage workflow --- .github/workflows/{coverage.yml => coverage.yml.disabled} | 0 1 file changed, 0 insertions(+), 0 deletions(-) rename .github/workflows/{coverage.yml => coverage.yml.disabled} (100%) diff --git a/.github/workflows/coverage.yml b/.github/workflows/coverage.yml.disabled similarity index 100% rename from .github/workflows/coverage.yml rename to .github/workflows/coverage.yml.disabled