Skip to content

Split JSON into smaller parts + tools for its management #319

Split JSON into smaller parts + tools for its management

Split JSON into smaller parts + tools for its management #319

Triggered via pull request October 7, 2024 03:37
Status Success
Total duration 15s
Artifacts

coding-style.yml

on: pull_request
Coding style check
5s
Coding style check
Fit to window
Zoom out
Zoom in