Skip to content
web-ide

fix: external plugin registries attribute from CR #1315

Sign in to view logs

fix: external plugin registries attribute from CR

fix: external plugin registries attribute from CR #1315

Triggered via pull request October 13, 2023 02:27
@olexii4olexii4
opened #949
Status Success
Total duration 14s
Artifacts –
This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

try-in-web-ide.yaml

on: pull_request_target
add-link
3s
add-link
Fit to window
Zoom out
Zoom in