Skip to content

framework: fix CI workflow for prod vectors #237

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom
Merged
unnawut merged 1 commit into from
Dec 17, 2025
Merged

framework: fix CI workflow for prod vectors #237

unnawut merged 1 commit into from
Dec 17, 2025
+2 −7

Conversation

@unnawut
Copy link
Collaborator

@unnawut unnawut commented Dec 17, 2025 •
edited
Loading

🗒️ Description

Fixes from reviewing #230's build job after merged:

  • Test filling with --scheme prod argument
  • Remove redundant archiving (GitHub automatically zips the artifacts during artifact upload)

🔗 Related Issues or PRs

✅ Checklist

  • Ran tox checks to avoid unnecessary CI fails: 
    uvx tox
  • Considered adding appropriate tests for the changes.
  • Considered updating the online docs in the ./docs/ directory.

@unnawut unnawut requested review from fselmo and tcoratger December 17, 2025 15:22
@unnawut unnawut added the framework Scope: Changes to the testing framework label Dec 17, 2025
@unnawut unnawut merged commit 836b17f into leanEthereum:main Dec 17, 2025
10 checks passed
@unnawut unnawut deleted the fix-prod-workflow branch December 17, 2025 15:26
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

@fselmo fselmo Awaiting requested review from fselmo

@tcoratger tcoratger Awaiting requested review from tcoratger

Assignees

No one assigned

Labels

framework Scope: Changes to the testing framework

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

1 participant

@unnawut