chore(deps): update rust crate regorus to 0.13 #48
Loading…
Reference in a new issue
No description provided.
Delete branch "renovate/regorus-0.x"
Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?
This PR contains the following updates:
0.11→0.13Release Notes
microsoft/regorus (regorus)
v0.13.0Compare Source
Changed
0.12.xcompatibility line.package graph["1.0.0"], usedata.graph["1.0.0"].deny, not the flattened package-metadata stringdata.graph.1.0.0.deny.Added
HasDeclaredRuleRootedAtin Rust, FFI, and C#, including dotted-prefix matching and load-time parser context preservation (#826)Fixed
Other
v0.12.0Compare Source
Added
Fixed
Number::modulo(#773)Other
Numberwith Verus (#774)i32::MINinNumber::two_powandNumber::ten_pow(#771)Added
Configuration
📅 Schedule: (UTC)
🚦 Automerge: Disabled by config. Please merge this manually once you are satisfied.
♻ 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.
This PR has been generated by Mend Renovate CLI.
7a5c526831tof5966ae80af5966ae80atoffbcc64febffbcc64febto9ba0a0f9cf9ba0a0f9cfto68c5ec5624chore(deps): update rust crate regorus to 0.12to chore(deps): update rust crate regorus to 0.13View command line instructions
Checkout
From your project repository, check out a new branch and test the changes.Merge
Merge the changes and update on Forgejo.Warning: The "Autodetect manual merge" setting is not enabled for this repository, you will have to mark this pull request as manually merged afterwards.