Label closed PR as merged and leave a comment

Merge commit 'e0a2e86d0346bd7e40adf69311daa538ca8c9c5f' into features… #124

Sign in to view logs

Triggered via push June 4, 2024 08:30

zhongwuzw

features/fix_enum_codegen

Status Skipped

Total duration 3s

Artifacts –

close_pr.yml

on: push

comment-and-label