Skip to content

Sync all github prs with erlang.github.io/prs/ #2156

Sync all github prs with erlang.github.io/prs/

Sync all github prs with erlang.github.io/prs/ #2156

Triggered via schedule October 1, 2024 16:02
Status Success
Total duration 6m 10s
Artifacts

sync-github-prs.yaml

on: schedule
Fit to window
Zoom out
Zoom in