Skip to content
Unsoundness checks

chore: Use local ruff and mypy for pre-commit (#1440) #744

Sign in to view logs

chore: Use local ruff and mypy for pre-commit (#1440)

chore: Use local ruff and mypy for pre-commit (#1440) #744

Triggered via push August 16, 2024 15:40
@github-merge-queuegithub-merge-queue[bot]
pushed 0689868
main
Status Success
Total duration 37m 44s
Artifacts –

unsoundness.yml

on: push
Miri
37m 35s
Miri
Fit to window
Zoom out
Zoom in