Skip to content
Back to pull request #4651

Fix Thingiverse error filtering case sensitivity #4432

Sign in to view logs

Fix Thingiverse error filtering case sensitivity

Fix Thingiverse error filtering case sensitivity #4432

Triggered via pull request August 14, 2025 16:51
@FloppyFloppy
opened #4651
fix-thingiverse-error-case
Status Success
Total duration 13s
Artifacts –

auto_merge.yml

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

Annotations

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