Skip to content

Change tool metadata file format to JSON #1835

Change tool metadata file format to JSON

Change tool metadata file format to JSON #1835

Triggered via pull request December 17, 2024 18:07
Status Success
Total duration 21m 58s
Artifacts

pr.yaml

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