Skip to content

Conversation

@danielhenrymantilla
Copy link
Collaborator

@danielhenrymantilla danielhenrymantilla commented Jun 24, 2025

@danielhenrymantilla danielhenrymantilla merged commit a5d21d0 into deburr Jun 24, 2025
206 of 207 checks passed
@danielhenrymantilla danielhenrymantilla deleted the arc-follow-up branch June 24, 2025 11:27
danielhenrymantilla added a commit that referenced this pull request Jun 24, 2025
Main integration branch to include a bunch of changes to make
maintenance of `safer-ffi` and contributions to it easier.

  - Personal feature-set TODO-list, in-order of priority:
      - [x] #246
      - [x] #248
          - [x] #249
      - [x] #254 
      - [x] #251 
          - [x] #252 
              - [x] #253
      - [x] #259
      - [ ] #260
- ❌ **The following ones have not made the cut yet, shall be left for
some follow-up deburring effort**
          - [ ] Set-up ergonomic UI/diagnostics tests
          - [ ] Use `diagnostic::on_unimplemented`;
          - [ ] Clean-up macros, aiming to reduce `macro_rules!` hacks;
          - [ ] Revamp module naming;
- Catering to community submissions (with tweaks & adjustments when
necessary):
      - [x] #247
      - [x] #242
      - [x] #250
  - Catering to community issues:
      - [x] #213
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.

2 participants