Skip to content
web-ide

fix: external plugin registries attribute from CR #1316

Sign in to view logs

fix: external plugin registries attribute from CR

fix: external plugin registries attribute from CR #1316

Triggered via pull request October 13, 2023 02:39
@olexii4olexii4
synchronize #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
4s
add-link
Fit to window
Zoom out
Zoom in