Skip to content

build: add CI jobs#34

Merged
ericnordelo merged 47 commits intomainfrom
chore/ci-setup
Oct 30, 2025
Merged

build: add CI jobs#34
ericnordelo merged 47 commits intomainfrom
chore/ci-setup

Conversation

@bidzyyys
Copy link
Collaborator

No description provided.

@bidzyyys bidzyyys linked an issue Oct 28, 2025 that may be closed by this pull request
4 tasks
@OpenZeppelin OpenZeppelin deleted a comment from github-actions bot Oct 28, 2025
@github-actions
Copy link

github-actions bot commented Oct 28, 2025

✅ Coverage Report: math/core

  • Coverage: 98.29%
  • Threshold: 90%
  • Status: PASSED
View full report

Check the CI logs for detailed per-module coverage breakdown.

Last updated: Tue, 28 Oct 2025 17:58:07 GMT

@ericnordelo
Copy link
Member

We can do the same thing we do in Cairo, which is generating a *.lcov file and uploading it directly with the codecov action..

There is a lcov option in sui move coverage that I expect should work.

@codecov
Copy link

codecov bot commented Oct 29, 2025

Welcome to Codecov 🎉

Once you merge this PR into your default branch, you're all set! Codecov will compare coverage reports and display results in all future pull requests.

Thanks for integrating Codecov - We've got you covered ☂️

@bidzyyys bidzyyys requested a review from ericnordelo October 29, 2025 08:58
@bidzyyys bidzyyys requested a review from ericnordelo October 29, 2025 11:11
Copy link
Member

@ericnordelo ericnordelo left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

LGTM!

@bidzyyys bidzyyys requested a review from ericnordelo October 29, 2025 11:42
Copy link
Collaborator

@immrsd immrsd left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

LGTM

@ericnordelo ericnordelo merged commit edb7ea5 into main Oct 30, 2025
8 checks passed
@ericnordelo ericnordelo deleted the chore/ci-setup branch October 30, 2025 11:24
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.

[Task]: Setup CI actions

3 participants