Skip to content
Lint

chore: add emeritus members to working groups (#563) #68

Sign in to view logs

chore: add emeritus members to working groups (#563)

chore: add emeritus members to working groups (#563) #68

Triggered via push November 27, 2023 18:09
@jkleinscjkleinsc
pushed c75d375
main
Status Success
Total duration 26s
Artifacts –

lint.yml

on: push
build
16s
build
Fit to window
Zoom out
Zoom in