Skip to content

Make GitHub username comparisons case-insensitive. #928

Make GitHub username comparisons case-insensitive.

Make GitHub username comparisons case-insensitive. #928

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

build.yaml

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