Skip to content

chore: Move inactive members to emeritus #10542

chore: Move inactive members to emeritus

chore: Move inactive members to emeritus #10542

Triggered via pull request April 30, 2026 12:35
Status Success
Total duration 11s
Artifacts

spell-check.yaml

on: pull_request
spell-check
7s
spell-check
Fit to window
Zoom out
Zoom in