Skip to content

Change tool metadata file format to JSON #1836

Change tool metadata file format to JSON

Change tool metadata file format to JSON #1836

Triggered via pull request December 18, 2024 08:34
Status Success
Total duration 19m 59s
Artifacts

pr.yaml

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