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

chore(deps): update dependency nlohmann_json to v3.11.3 #21

Merged
merged 1 commit into from
Apr 3, 2024

Conversation

renovate[bot]
Copy link
Contributor

@renovate renovate bot commented Dec 3, 2023

Mend Renovate

This PR contains the following updates:

Package Type Update Change
nlohmann_json bazel_dep patch 3.11.2 -> 3.11.3

Configuration

📅 Schedule: Branch creation - At any time (no schedule defined), Automerge - At any time (no schedule defined).

🚦 Automerge: Enabled.

Rebasing: Whenever PR becomes conflicted, or you tick the rebase/retry checkbox.

🔕 Ignore: Close this PR and you won't be reminded about this update again.


  • If you want to rebase/retry this PR, check this box

This PR has been generated by Mend Renovate. View repository job log here.

@renovate renovate bot force-pushed the renovate/nlohmann_json-3.x branch from ec94698 to 200d9e6 Compare April 3, 2024 04:28
@zaucy zaucy enabled auto-merge April 3, 2024 04:29
@zaucy zaucy added this pull request to the merge queue Apr 3, 2024
@github-merge-queue github-merge-queue bot removed this pull request from the merge queue due to a conflict with the base branch Apr 3, 2024
@renovate renovate bot force-pushed the renovate/nlohmann_json-3.x branch from 200d9e6 to 6289c05 Compare April 3, 2024 04:41
@renovate renovate bot enabled auto-merge April 3, 2024 04:43
@renovate renovate bot force-pushed the renovate/nlohmann_json-3.x branch from 6289c05 to b511567 Compare April 3, 2024 04:43
@renovate renovate bot added this pull request to the merge queue Apr 3, 2024
Merged via the queue into main with commit 69411b7 Apr 3, 2024
3 checks passed
@renovate renovate bot deleted the renovate/nlohmann_json-3.x branch April 3, 2024 04:57
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.

0 participants