Skip to content

Merge pull request #87 from PierreBeucher/clippy-fix #26

Merge pull request #87 from PierreBeucher/clippy-fix

Merge pull request #87 from PierreBeucher/clippy-fix #26

Triggered via push December 28, 2023 10:49
Status Success
Total duration 4m 31s
Artifacts

doc.yml

on: push
Fit to window
Zoom out
Zoom in