Skip to content

fix: remove dead server pruning #1882

fix: remove dead server pruning

fix: remove dead server pruning #1882

Triggered via pull request November 8, 2024 13:12
@gruyaumegruyaume
edited #527
Status Success
Total duration 14s
Artifacts

lint-pr.yaml

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