search

rust-lang / highfive

Github hooks to provide an encouraging atmosphere for new contributors
Apache License 2.0
185 stars 128 forks source link

Make sure we keep up with mir optimizations #407

Closed oli-obk closed 2 years ago

oli-obk commented 2 years ago

cc @JakobDegen (https://github.com/rust-lang/rust/pull/96991#issuecomment-1146887841)

JakobDegen commented 2 years ago

👍, although I think you have two extra elements in the path, and also I'm in the wg so probably don't need to be listed separately?

oli-obk commented 2 years ago

I thought you were.... the github team didn't display it in the short view -.-