From: Loup Vaillant <loup@loup-vaillant.fr>
Date: Thu, 23 Mar 2023 08:25:55 +0000 (+0100)
Subject: Remove obsolete carry propagation test
X-Git-Url: https://git.codecow.com/?a=commitdiff_plain;h=d9b13ef88192e5ea92846923a224c613238166c4;p=Monocypher.git

Remove obsolete carry propagation test
---

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