Skip to content
auto-merge

Add filtering options for problem list, by category, severity, and object type #1245

Sign in to view logs

Add filtering options for problem list, by category, severity, and object type

Add filtering options for problem list, by category, severity, and object type #1245

Triggered via pull request February 1, 2024 15:06
@FloppyFloppy
synchronize #1812
filter-problem-list
Status Success
Total duration 20s
Artifacts –

auto_merge.yml

on: pull_request
auto-merge
9s
auto-merge
Fit to window
Zoom out
Zoom in

Annotations

1 warning
auto-merge
exiting early - expected PR by "dependabot[bot]", found "Floppy" instead