chore: remove outdated editors #8414

Sign in to view logs

Summary
Jobs
- check
Run details
- Usage
- Workflow file

Triggered via push June 3, 2024 10:44

svor

sv-remove-out-editors

Status Success

Total duration 14s

Artifacts –

shellcheck-pr-check.yml

on: push