Skip to content

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

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

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

Triggered via schedule December 9, 2023 08:11
Status Skipped
Total duration 3s
Artifacts

sync-github-prs.yaml

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