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

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

Sign in to view logs

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

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

Triggered via schedule October 20, 2023 08:00
@bjorngbjorng
⁠ 286e20a
master
Status Skipped
Total duration 3s
Artifacts –
This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

sync-github-prs.yaml

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