Skip to content

chore: merge upstream 7119bb1fe #42

chore: merge upstream 7119bb1fe

chore: merge upstream 7119bb1fe #42

Triggered via pull request October 21, 2024 14:04
Status Success
Total duration 22m 17s
Artifacts

lint.yml

on: pull_request
Matrix: clippy-binaries
Matrix: msrv
lint success
4s
lint success
Fit to window
Zoom out
Zoom in