Skip to content
Lint

OutputWidget and Selection widget enhancements #2217

Sign in to view logs

OutputWidget and Selection widget enhancements

OutputWidget and Selection widget enhancements #2217

This workflow is awaiting approval from a maintainer in #3966
Triggered via pull request November 17, 2024 22:25
@fleming79fleming79
opened #3966
fleming79:OutputWidget-enhancements
Status Action required
Total duration –
Artifacts –
This workflow is awaiting approval from a maintainer in #3966

lint.yml

on: pull_request
Lint
Lint
Fit to window
Zoom out
Zoom in