Skip to content

Revert "ci: add miri" #15

Revert "ci: add miri"

Revert "ci: add miri" #15

Triggered via push July 10, 2024 18:45
Status Success
Total duration 20s
Artifacts

pre-commit.yml

on: push
Lint checks
11s
Lint checks
Fit to window
Zoom out
Zoom in