Skip to content
Semgrep

Plugin lifetime was elided, fixes clippy warning. #1223

Sign in to view logs

Plugin lifetime was elided, fixes clippy warning.

Plugin lifetime was elided, fixes clippy warning. #1223

Triggered via pull request December 28, 2024 20:39
@sporkmongersporkmonger
synchronize #433
fix-clippy-warnings-elided-lifetime
Status Success
Total duration 1m 7s
Artifacts –

semgrep.yml

on: pull_request
semgrep/ci
57s
semgrep/ci
Fit to window
Zoom out
Zoom in