Skip to content

fix: remove dead server pruning #1881

fix: remove dead server pruning

fix: remove dead server pruning #1881

Triggered via pull request November 8, 2024 12:38
@gruyaumegruyaume
opened #527
Status Success
Total duration 10s
Artifacts

lint-pr.yaml

on: pull_request_target
Validate PR title
2s
Validate PR title
Fit to window
Zoom out
Zoom in