Skip to content

Make GitHub username comparisons case-insensitive. #393

Make GitHub username comparisons case-insensitive.

Make GitHub username comparisons case-insensitive. #393

This workflow is awaiting approval from a maintainer in #293
Triggered via pull request November 25, 2024 12:45
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