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

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

Sign in to view logs

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

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

Run time

Learn about OS pricing on GitHub Actions
Job Run time
sync-prs
4m 56s
4m 56s