Label closed PR as merged and leave a comment

Merge commit '9ef6d606a78f1559675f4abec8ab2d3e2e37ef54' into features… #76

Sign in to view logs

Triggered via push January 30, 2024 15:50

zhongwuzw

features/fix_modal_splash

Status Skipped

Total duration 3s

Artifacts –

close_pr.yml

on: push

comment-and-label