Skip to content
This repository has been archived by the owner on Nov 18, 2023. It is now read-only.

Update non-major dependencies #84

Merged
merged 1 commit into from
Apr 3, 2023
Merged

Conversation

renovate[bot]
Copy link
Contributor

@renovate renovate bot commented Apr 2, 2023

Mend Renovate

This PR contains the following updates:

Package Type Update Change
parol build-dependencies minor 0.20.0 -> 0.21.0
parol_runtime dependencies minor 0.15.1 -> 0.16.0

Release Notes

jsinger67/parol (parol)

v0.21.0

  • Changed code generation to facilitate parol_runtime's newer and more efficient lookahead DFA
  • Optimized performance in hash implementation of KTuple
jsinger67/parol (parol_runtime)

v0.16.0

  • More efficient implementation of lookahead DFA
    • This can also lead to smaller generated parser files up to about 5 percents

Configuration

📅 Schedule: Branch creation - "before 5am on monday" in timezone Asia/Tokyo, Automerge - At any time (no schedule defined).

🚦 Automerge: Disabled by config. Please merge this manually once you are satisfied.

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

👻 Immortal: This PR will be recreated if closed unmerged. Get config help if that's undesired.


  • 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 added the dependencies label Apr 2, 2023
@renovate renovate bot force-pushed the renovate/non-major-dependencies branch from ec5dae4 to 49b0cdf Compare April 3, 2023 04:25
@renovate renovate bot changed the title Update Rust crate parol_runtime to 0.16.0 Update non-major dependencies Apr 3, 2023
@ryo33 ryo33 merged commit d430df0 into main Apr 3, 2023
@ryo33 ryo33 deleted the renovate/non-major-dependencies branch April 3, 2023 07:10
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant