Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

impro: bump nlohmann to 3.11.2 #981

Closed
wants to merge 1 commit into from
Closed

impro: bump nlohmann to 3.11.2 #981

wants to merge 1 commit into from

Conversation

sndth
Copy link

@sndth sndth commented Oct 31, 2023

No description provided.

Copy link

netlify bot commented Oct 31, 2023

Deploy Preview for dpp-dev ready!

Name Link
🔨 Latest commit 3c2f61d
🔍 Latest deploy log https://app.netlify.com/sites/dpp-dev/deploys/65414463323fc00008a30ab4
😎 Deploy Preview https://deploy-preview-981--dpp-dev.netlify.app
📱 Preview on mobile
Toggle QR Code...

QR Code

Use your smartphone camera to open QR code link.

To edit notification comments on pull requests, go to your Netlify site configuration.

@CLAassistant
Copy link

CLA assistant check
Thank you for your submission! We really appreciate it. Like many open source projects, we ask that you sign our Contributor License Agreement before we can accept your contribution.
You have signed the CLA already but the status is still pending? Let us recheck it.

Copy link
Contributor

Thank you for your contribution, but PRs must be raised against the dev branch. Please log your pull request against the dev branch not master. You can also retarget this pull request, then reopen it.

@github-actions github-actions bot added the code Improvements or additions to code. label Oct 31, 2023
@github-actions github-actions bot closed this Oct 31, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
code Improvements or additions to code.
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants