Skip to content

Merge pull request #1969 from timbrel/tune-commit-selection #1100

Merge pull request #1969 from timbrel/tune-commit-selection

Merge pull request #1969 from timbrel/tune-commit-selection #1100

Triggered via push March 10, 2025 12:20
Status Success
Total duration 23s
Artifacts

lint.yml

on: push
check-messages
6s
check-messages
lint
8s
lint
Matrix: mypy
Fit to window
Zoom out
Zoom in