Closed ale-linux closed 1 year ago
Merging #3595 (2f8d840) into main (0445e96) will not change coverage. The diff coverage is
n/a
.:exclamation: Current head 2f8d840 differs from pull request most recent head 8758362. Consider uploading reports for the commit 8758362 to get more accurate results
@@ Coverage Diff @@
## main #3595 +/- ##
=======================================
Coverage 86.75% 86.75%
=======================================
Files 355 355
Lines 48680 48680
=======================================
Hits 42231 42231
Misses 4886 4886
Partials 1563 1563
Title:
Pull mathlib with support for 32-bit builds
Description:
After the switch to mathlib, builds on 32-bit platforms failed, owing to the fact that mathlib was using a version of fabric-amcl which didn't include 32-bit implementations. Pulling the latest mathlib fixes the issue.
Summary:
We just update all the
go.mod
to refer to the latest mathlib.