Merge pull request #2383 from hermit-os/single_use_lifetimes #2694
github-merge-queue[bot]Artifacts
Produced during runtime
| Name | Size | Digest | |
|---|---|---|---|
|
General-benchmark-results
Expired
|
592 Bytes |
sha256:06b3414c684159b4d47c0027396630dbde5c4efe93ff3f9ee9b4f022e83f086d
|
|
|
Misc-benchmark-results
Expired
|
1.11 KB |
sha256:179e0251a93359480efe7d83bbf3f9eb425df01fe53a0c20a589c4bf92e9d970
|
|