Skip to content
auto-merge

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

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 #1246

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

auto_merge.yml

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

Annotations

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