Skip to content
Lint

chore: add emeritus members to working groups #67

Sign in to view logs

chore: add emeritus members to working groups

chore: add emeritus members to working groups #67

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

lint.yml

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