From 831fac1be6f67e5cb8c9874cc2bca844718bf322 Mon Sep 17 00:00:00 2001
From: David Holland <dholland@galois.com>
Date: Thu, 10 Jul 2025 00:17:32 -0400
Subject: [PATCH] CI: Re-enable the awslc test, now that #1094 is fixed.

Closes #2273.
---
 .github/workflows/ci.yml | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index 9797295b1..ceeb898b6 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -897,8 +897,7 @@ jobs:
           - bike
           - tls
           - hmac-failure
-          # 20250328: disabled temporarily because it now tickles #1094 (see #2273)
-          # - awslc
+          - awslc
           - blst
         os: [ubuntu-24.04]
         ghc: ["9.4.8"]