Skip to content
[CI] GIT-GAT

Rename maintainers as editorial board #760

Sign in to view logs

Rename maintainers as editorial board

Rename maintainers as editorial board #760

Triggered via pull request July 13, 2023 06:59
@shiltemannshiltemann
synchronize #4273
editorial-board
Status Success
Total duration 49s
Artifacts –

git-gat.yml

on: pull_request
run
41s
run
Fit to window
Zoom out
Zoom in