Label closed PR as merged and leave a comment

Merge two PRs #37

Sign in to view logs

Triggered via push July 31, 2024 15:23

zhongwuzw

features/fix_inverted_inspection

Status Skipped

Total duration 2s

Artifacts –

close-pr.yml

on: push

comment-and-label