Skip to content
Sync all github prs with erlang.github.io/prs/

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

Sign in to view logs

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

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

Triggered via schedule November 27, 2025 16:22
@u3su3s
⁠ 29e2d7e
master
Status Skipped
Total duration 1s
Artifacts –

sync-github-prs.yaml

on: schedule
sync-prs
sync-prs
Fit to window
Zoom out
Zoom in