From d9b13ef88192e5ea92846923a224c613238166c4 Mon Sep 17 00:00:00 2001
From: Loup Vaillant <loup@loup-vaillant.fr>
Date: Thu, 23 Mar 2023 09:25:55 +0100
Subject: [PATCH] Remove obsolete carry propagation test

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

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index 3eb6852..0731561 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -162,6 +162,3 @@ jobs:
           echo
           echo "All valgrind tests passed!"
           echo
-
-      - name: Check bignum arithmetic
-        run: tests/proofs/test_carry.sh
-- 
2.47.3