Skip to content
Lint

chore: add emeritus members to working groups #66

Sign in to view logs

chore: add emeritus members to working groups

chore: add emeritus members to working groups #66

Triggered via pull request November 15, 2023 01:28
@VerteDindeVerteDinde
synchronize #563
add-emeritus-members
Status Success
Total duration 25s
Artifacts –
This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

lint.yml

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