Skip to content
Quality

docs: explain the need for non-greedy wildcards #3621

Sign in to view logs

docs: explain the need for non-greedy wildcards

docs: explain the need for non-greedy wildcards #3621

Triggered via push July 4, 2024 23:10
@nedbatnedbat
pushed 7ea6c39
master
Status Success
Total duration 17m 25s
Artifacts –

quality.yml

on: push
Pylint etc
1m 41s
Pylint etc
Check types
36s
Check types
Build docs
12m 54s
Build docs
Fit to window
Zoom out
Zoom in