Skip to content
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.

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

Document implementation of RFC 2: Interface definition library #880

Merged
merged 2 commits into from
Dec 11, 2023

Conversation

whitequark
Copy link
Member

@whitequark whitequark commented Aug 23, 2023

Rendered

  • Reference
  • Guide
  • Changelog

@codecov
Copy link

codecov bot commented Aug 23, 2023

Codecov Report

All modified and coverable lines are covered by tests ✅

Comparison is base (d154bdd) 83.94% compared to head (7a8ed0d) 83.93%.

Additional details and impacted files
@@            Coverage Diff             @@
##             main     #880      +/-   ##
==========================================
- Coverage   83.94%   83.93%   -0.01%     
==========================================
  Files          55       55              
  Lines        8061     8057       -4     
  Branches     1966     1966              
==========================================
- Hits         6767     6763       -4     
  Misses       1082     1082              
  Partials      212      212              

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

@whitequark whitequark added this to the 0.4 milestone Aug 23, 2023
@whitequark whitequark force-pushed the rfc-2-document branch 2 times, most recently from 345527b to 1684c58 Compare September 26, 2023 12:25
@whitequark whitequark force-pushed the rfc-2-document branch 2 times, most recently from 245c530 to b19483a Compare December 1, 2023 21:11
@whitequark whitequark force-pushed the rfc-2-document branch 4 times, most recently from cd2c627 to 2be62a9 Compare December 5, 2023 04:53
@whitequark whitequark marked this pull request as ready for review December 11, 2023 22:50
@whitequark whitequark enabled auto-merge December 11, 2023 22:53
@whitequark whitequark added this pull request to the merge queue Dec 11, 2023
Merged via the queue into amaranth-lang:main with commit fc4d704 Dec 11, 2023
14 checks passed
@whitequark whitequark deleted the rfc-2-document branch December 11, 2023 23:03
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Development

Successfully merging this pull request may close these issues.

1 participant