Skip to content
Quality

fix: unknown 'patch' names should produce warnings #4647

Sign in to view logs

fix: unknown 'patch' names should produce warnings

fix: unknown 'patch' names should produce warnings #4647

Triggered via push July 10, 2025 16:04
@nedbatnedbat
pushed 184dc78
master
Status Success
Total duration 3m 48s
Artifacts –

quality.yml

on: push
Check changed files
4s
Check changed files
Pylint etc
1m 51s
Pylint etc
Check types
31s
Check types
Build docs
1m 46s
Build docs
Zizmor GHA security check
Zizmor GHA security check
Fit to window
Zoom out
Zoom in