Skip to content

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

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

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

Triggered via schedule December 10, 2023 12:30
Status Skipped
Total duration 2s
Artifacts

sync-github-prs.yaml

on: schedule
sync-prs
0s