Skip to content

Change tool metadata file format to JSON #1856

Change tool metadata file format to JSON

Change tool metadata file format to JSON #1856

Triggered via pull request January 3, 2025 05:28
Status Success
Total duration 21m 31s
Artifacts

pr.yaml

on: pull_request
Matrix: builds / build
Fit to window
Zoom out
Zoom in