Skip to content

Add option for custom filtering based on json #836

Add option for custom filtering based on json

Add option for custom filtering based on json #836

Triggered via pull request August 31, 2025 20:00
@kpertschkpertsch
synchronize #621
verityw:main
Status Success
Total duration 13s
Artifacts

pre-commit.yml

on: pull_request
pre-commit
10s
pre-commit
Fit to window
Zoom out
Zoom in