Skip to content

extra/gen_package_index_json.sh: fix JSON format #218

extra/gen_package_index_json.sh: fix JSON format

extra/gen_package_index_json.sh: fix JSON format #218

Triggered via push October 15, 2025 10:13
Status Success
Total duration 11s
Artifacts

format_check.yml

on: push
verify-format
7s
verify-format
Fit to window
Zoom out
Zoom in