Label closed PR as merged and leave a comment

Coordinate Synchronous Events with Choreographer #55

Sign in to view logs

Triggered via push May 8, 2024 13:53

tdn120

export-D57018741

Status Skipped

Total duration 2s

Artifacts –

close_pr.yml

on: push

comment-and-label