Skip to content

Update index.md - #4159

Merged
nlohmann merged 1 commit into
nlohmann:developfrom
miny1233:patch-1
Sep 23, 2023
Merged

nlohmann merged 1 commit into
nlohmann:developfrom
miny1233:patch-1

Conversation

@miny1233

Copy link
Copy Markdown
Contributor

Template is wrong

Template is wrong
@github-actions

Copy link
Copy Markdown

🔴 Amalgamation check failed! 🔴

The source code has not been amalgamated. @miny1233
Please read and follow the Contribution Guidelines.

@coveralls

Copy link
Copy Markdown

Coverage Status

coverage: 100.0%. remained the same when pulling 6737d4b on miny1233:patch-1 into 5fec803 on nlohmann:develop.

@nlohmann nlohmann left a comment

Copy link
Copy Markdown
Owner

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Looks good to me.

@nlohmann nlohmann added this to the Release 3.11.3 milestone Sep 23, 2023
@nlohmann
nlohmann merged commit e75b94b into nlohmann:develop Sep 23, 2023
@nlohmann

Copy link
Copy Markdown
Owner

Thanks!

@miny1233
miny1233 deleted the patch-1 branch September 24, 2023 04:25
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants