chore: remove unnecessary option for Ruff's lint hook · leodevian/modern-python@edf9945

Triggered via push December 29, 2025 14:46

leodevian

main

Status Success

Total duration 29s

Artifacts 1

docs.yaml

on: push

Produced during runtime

Name	Size	Digest
github-pages Expired	131 KB	`sha256:47658681b8b6c5d825f4faa388f036f3540ab07152686fa7e6c9cbefb01970f1`