Skip to content

Reverted unneeded change after adding exceptions #8158

Reverted unneeded change after adding exceptions

Reverted unneeded change after adding exceptions #8158

Triggered via push December 13, 2025 11:18
Status Success
Total duration 8s
Artifacts

close-pr.yml

on: push
comment-and-label
3s
comment-and-label
Fit to window
Zoom out
Zoom in