Skip to content

Make GitHub username comparisons case-insensitive. #376

Make GitHub username comparisons case-insensitive.

Make GitHub username comparisons case-insensitive. #376

This workflow is awaiting approval from a maintainer in #293
Triggered via pull request September 24, 2024 21:26
Status Action required
Total duration
Artifacts
This workflow is awaiting approval from a maintainer in #293

lint.yaml

on: pull_request
Lint
Lint
Fit to window
Zoom out
Zoom in