Skip to content

ceno-host clippy + upload proof#21

Merged
hero78119 merged 4 commits intocenofrom
feat/fix_dockerfile
Dec 17, 2025
Merged

ceno-host clippy + upload proof#21
hero78119 merged 4 commits intocenofrom
feat/fix_dockerfile

Conversation

@hero78119
Copy link
Collaborator

  • upload proof.json to ethproofs
  • add clippy to check duplicate version

@hero78119 hero78119 enabled auto-merge (squash) December 17, 2025 06:33
[bans]
multiple-versions = "deny"

skip = [
Copy link
Collaborator Author

@hero78119 hero78119 Dec 17, 2025

Choose a reason for hiding this comment

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

There is many duplicate version in ceno-host which resolving it take time. Those do not have impact for now so let skip. The thing matters is we should avoid some unexpected crates, e.g. metrics duplicate which will break metrics collection

@hero78119 hero78119 disabled auto-merge December 17, 2025 10:06
@hero78119 hero78119 merged commit 52fe510 into ceno Dec 17, 2025
14 of 19 checks passed
@hero78119 hero78119 deleted the feat/fix_dockerfile branch December 17, 2025 10:07
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.

1 participant