Skip to content
This repository was archived by the owner on Jan 16, 2026. It is now read-only.

feat(derive): AttributesQueue Traits#599

Closed
refcell wants to merge 1 commit intomainfrom
rf/feat/stage-trait-hoist
Closed

feat(derive): AttributesQueue Traits#599
refcell wants to merge 1 commit intomainfrom
rf/feat/stage-trait-hoist

Conversation

@refcell
Copy link
Contributor

@refcell refcell commented Oct 1, 2024

Description

Hoists AttributesQueue traits, setting up stages for auto-impls.

We can apply this refactor across all stages to provide a clean split between stage traits and stage implementations within the kona-derive crate.

@refcell refcell changed the title feat(derive): attributes queue traits feat(derive): AttributesQueue Traits Oct 1, 2024
Copy link
Contributor Author

refcell commented Oct 1, 2024

This stack of pull requests is managed by Graphite. Learn more about stacking.

Join @refcell and the rest of your teammates on Graphite Graphite

@refcell refcell requested a review from clabby October 1, 2024 14:48
@refcell refcell added A-proof Area: proof crates K-feature Kind: feature labels Oct 1, 2024 — with Graphite App
@refcell refcell marked this pull request as ready for review October 1, 2024 14:49
@refcell refcell self-assigned this Oct 1, 2024
@refcell refcell marked this pull request as draft October 1, 2024 14:49
@codecov
Copy link

codecov bot commented Oct 1, 2024

Codecov Report

All modified and coverable lines are covered by tests ✅

Project coverage is 79.9%. Comparing base (9e9c002) to head (df638d1).
Report is 88 commits behind head on main.

✅ All tests successful. No failed tests found.

Additional details and impacted files

☔ View full report in Codecov by Sentry.
📢 Have feedback on the report? Share it here.

Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

A-proof Area: proof crates K-feature Kind: feature

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant