Skip to content

Merge pull request #784 from gwenn/clippy #864

Merge pull request #784 from gwenn/clippy

Merge pull request #784 from gwenn/clippy #864

Triggered via push July 20, 2024 06:03
Status Success
Total duration 3m 45s
Artifacts

rust.yml

on: push
Matrix: build
Fit to window
Zoom out
Zoom in