Skip to content

Conversation

@danielhenrymantilla
Copy link
Collaborator

@danielhenrymantilla danielhenrymantilla commented Mar 24, 2025

@danielhenrymantilla danielhenrymantilla merged commit b5c0ff4 into deburr Mar 25, 2025
70 of 71 checks passed
@danielhenrymantilla danielhenrymantilla deleted the edition-2024 branch March 25, 2025 18:53
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