Skip to content
Lint

chore: add emeritus members to working groups #65

Sign in to view logs

chore: add emeritus members to working groups

chore: add emeritus members to working groups #65

Triggered via pull request November 15, 2023 01:26
@VerteDindeVerteDinde
synchronize #563
add-emeritus-members
Status Success
Total duration 30s
Artifacts –

lint.yml

on: pull_request
build
18s
build
Fit to window
Zoom out
Zoom in