Lint PR title

chore: add info about who is elected to board 2025 #3800

Sign in to view logs

Triggered via pull request July 7, 2025 12:15

derberg

opened #1976

Status Success

Total duration 8s

Artifacts –

lint-pr-title.yml

on: pull_request_target