Skip to content

Conversation

@nlohmann
Copy link
Owner

@nlohmann nlohmann commented Nov 2, 2025

Follow up for #4979 and #4980

Signed-off-by: Niels Lohmann <[email protected]>
@nlohmann nlohmann added this to the Release 3.12.1 milestone Nov 2, 2025
@coveralls
Copy link

Coverage Status

coverage: 99.191%. remained the same
when pulling d3c30da on harden-runners
into 0c9b68e on develop.

@nlohmann nlohmann merged commit c8b66cf into develop Nov 3, 2025
142 checks passed
@nlohmann nlohmann deleted the harden-runners branch November 3, 2025 05:33
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants