Skip to content

Remove a few unnecessary lifetimes #1957

Remove a few unnecessary lifetimes

Remove a few unnecessary lifetimes #1957

Triggered via pull request October 6, 2023 07:54
Status Success
Total duration 4m 45s
Artifacts

ci.yml

on: pull_request
Matrix: build
Matrix: test
Fit to window
Zoom out
Zoom in