Skip to content

Remove unnecessary defaults from device profiles #227

Remove unnecessary defaults from device profiles

Remove unnecessary defaults from device profiles #227

Triggered via pull request September 1, 2023 21:42
@Maxr1998Maxr1998
opened #1183
Status Success
Total duration 11s
Artifacts
This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

repo-milestone.yaml

on: pull_request_target
Apply milestone
2s
Apply milestone
Fit to window
Zoom out
Zoom in