From 6dc51678e681d895d193c43392f434a761f50e8f Mon Sep 17 00:00:00 2001
From: Matthew Fluet <matthew.fluet@gmail.com>
Date: Wed, 15 May 2024 16:45:14 -0400
Subject: [PATCH] Try enabling the `runner: windows-latest`/`codegen: "c"` CI
 workflow

---
 .github/workflows/ci.yml | 2 --
 1 file changed, 2 deletions(-)

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index 0eb06f2df..f88e2ada6 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -25,8 +25,6 @@ jobs:
             codegen: "amd64"
           - runner: windows-latest
             cc: "clang"
-          - runner: windows-latest
-            codegen: "c"
           - runner: windows-latest
             codegen: "llvm"
           - cc: "gcc"