Skip to content

Merge branch 'main' into fix/github #59

Merge branch 'main' into fix/github

Merge branch 'main' into fix/github #59

Triggered via push November 22, 2023 12:24
Status Success
Total duration 26s
Artifacts

maintainers.yml

on: push
Sync maintainers
15s
Sync maintainers
Fit to window
Zoom out
Zoom in