]> git.codecow.com Git - Monocypher.git/commitdiff
projects / Monocypher.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: 4e87883)
Remove obsolete carry propagation test
authorLoup Vaillant <loup@loup-vaillant.fr>
Thu, 23 Mar 2023 08:25:55 +0000 (09:25 +0100)
committerLoup Vaillant <loup@loup-vaillant.fr>
Thu, 23 Mar 2023 10:01:04 +0000 (11:01 +0100)
.github/workflows/ci.yml patch | blob | history

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index 3eb6852bf62ba0470d102cd0578261b7e2fab558..07315612ae9dade39bd321e64f0e64462142c75f 100644 (file)
--- 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
Unnamed repository; edit this file 'description' to name the repository.