DevSkim

`dedup`: fix --ignore-case option #1525

Sign in to view logs

Summary
Jobs
- DevSkim
Run details
- Usage
- Workflow file

Triggered via pull request October 25, 2023 19:31

jqnatividad

opened #1387

1381-dedup-ignorecase

Status Success

Total duration 1m 0s

Artifacts –

This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

devskim.yml

on: pull_request