Skip to content

Added ability to hide/ignore individual problems #1234

Added ability to hide/ignore individual problems

Added ability to hide/ignore individual problems #1234

Triggered via pull request January 31, 2024 15:40
Status Success
Total duration 14s
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