Skip to content

Make User-Agent configurable #1822

Make User-Agent configurable

Make User-Agent configurable #1822

Triggered via pull request August 25, 2025 13:10
@rejasrejas
synchronize #3255
Status Success
Total duration 11s
Artifacts

enforce-pullrequest-rules.yaml

on: pull_request_target
Fit to window
Zoom out
Zoom in