Skip to content
Back to pull request #640

Enhance DevelopmentPluginsProvider to handle plugin directories #635

Sign in to view logs

Enhance DevelopmentPluginsProvider to handle plugin directories

Enhance DevelopmentPluginsProvider to handle plugin directories #635

Triggered via push November 14, 2024 14:56
@g-research-pullg-research-pull[bot]
pushed 2909782
master
Status Skipped
Total duration 3s
Artifacts –

milestone.yml

on: push
set-milestone
0s
set-milestone
Fit to window
Zoom out
Zoom in