ci

Remove a dead editor from FAQ #4519

Sign in to view logs

Triggered via pull request February 8, 2026 05:43

opened #3821

remove-a-dead-editor-from-faq

Status Success

Total duration 1m 18s

Artifacts –

ci.yml

on: pull_request

Matrix: build