Skip to content

ci: Fix fault proof box#14016

Closed
mslipper wants to merge 9 commits intodevelopfrom
bugfix/proofs-tests
Closed

ci: Fix fault proof box#14016
mslipper wants to merge 9 commits intodevelopfrom
bugfix/proofs-tests

Conversation

@mslipper
Copy link
Copy Markdown
Contributor

No description provided.

@mslipper mslipper changed the title ci: raise parallelism ci: Fix fault proof box Jan 28, 2025
Previously the native build used -mt and the reproducible build used -mt64.
Stop building the 32-bit multithreaded prestate in reproducible builds.
@codecov
Copy link
Copy Markdown

codecov bot commented Jan 30, 2025

Codecov Report

All modified and coverable lines are covered by tests ✅

Project coverage is 46.57%. Comparing base (b8b6606) to head (7af9be0).
Report is 19 commits behind head on develop.

Additional details and impacted files
@@             Coverage Diff             @@
##           develop   #14016      +/-   ##
===========================================
- Coverage    46.86%   46.57%   -0.30%     
===========================================
  Files          974      974              
  Lines        81666    81666              
  Branches       759      759              
===========================================
- Hits         38275    38038     -237     
- Misses       40406    40698     +292     
+ Partials      2985     2930      -55     
Flag Coverage Δ
cannon-go-tests-32 61.99% <ø> (-2.02%) ⬇️
cannon-go-tests-64 56.62% <ø> (-1.66%) ⬇️
contracts-bedrock-tests 87.73% <ø> (-2.72%) ⬇️

Flags with carried forward coverage won't be shown. Click here to find out more.

see 34 files with indirect coverage changes

@ajsutton
Copy link
Copy Markdown
Contributor

Rebased this on develop and tidied up the commit history in #14060

@ajsutton ajsutton mentioned this pull request Jan 30, 2025
@ajsutton
Copy link
Copy Markdown
Contributor

#14060 merged.

@ajsutton ajsutton closed this Jan 30, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants