generation diff

chore: Add script to automate PR merging (#11758) #15211

Sign in to view logs

Triggered via push October 6, 2025 18:16

jinseopkim0

main

Status Success

Total duration 6m 41s

Artifacts –

generated_files_sync.yaml

on: push

gitignore_correctness

generate-readme

group_id_check_for_maps_libraries

package_name_check