Skip to content
Lint

chore: add emeritus members to working groups #64

Sign in to view logs

chore: add emeritus members to working groups

chore: add emeritus members to working groups #64

Triggered via pull request November 15, 2023 01:19
@VerteDindeVerteDinde
opened #563
add-emeritus-members
Status Failure
Total duration 25s
Artifacts –

lint.yml

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

Annotations

1 error
build
Process completed with exit code 1.