search

rust-lang / chalk

An implementation and definition of the Rust trait system using a PROLOG-like logic solver
https://rust-lang.github.io/chalk/book/
Other
1.85k stars 182 forks source link

chalk-solve: upgrade petgraph to version 0.6.4 #801

Closed gigaroby closed 1 year ago

gigaroby commented 1 year ago

Version 0.5.1 contained a soundness bug that has since been fixed: https://github.com/petgraph/petgraph/commit/618af3d5d53dd613036629dd78fb5ffe34aefb50.

gigaroby commented 1 year ago

The CI failure seems unrelated.

jackh726 commented 1 year ago

@bors r+

bors commented 1 year ago

:pushpin: Commit 34f45e2422a0ac10bca1e90306e785cacc388568 has been approved by jackh726

It is now in the queue for this repository.

bors commented 1 year ago

:hourglass: Testing commit 34f45e2422a0ac10bca1e90306e785cacc388568 with merge 671308f7ccf64b65938d53a86871f71973ca7456...

bors commented 1 year ago

:sunny: Test successful - checks-actions Approved by: jackh726 Pushing 671308f7ccf64b65938d53a86871f71973ca7456 to master...