Skip to content

Merge pull request #1227 from GuillaumeGomez/fix-clippy #178

Merge pull request #1227 from GuillaumeGomez/fix-clippy

Merge pull request #1227 from GuillaumeGomez/fix-clippy #178

Triggered via push November 19, 2023 08:08
Status Success
Total duration 14s
Artifacts
This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

typos.yml

on: push
Spell Check with Typos
3s
Spell Check with Typos
Fit to window
Zoom out
Zoom in