Skip to content

Conversation

@danielhenrymantilla
Copy link
Collaborator

@danielhenrymantilla danielhenrymantilla commented Mar 24, 2025

Base automatically changed from edition-2024 to deburr March 25, 2025 18:53
@danielhenrymantilla danielhenrymantilla marked this pull request as ready for review March 25, 2025 18:53
This reverts commit 434f17f.

It wasn't necessary given the usage of a `concurrency-group`
@danielhenrymantilla danielhenrymantilla merged commit a47c967 into deburr Mar 25, 2025
6 checks passed
@danielhenrymantilla danielhenrymantilla deleted the rustfmt branch March 25, 2025 18:59
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