Skip to content

Merge pull request #282 from dbatten5/remove-unnecessary-linters #73

Merge pull request #282 from dbatten5/remove-unnecessary-linters

Merge pull request #282 from dbatten5/remove-unnecessary-linters #73

Triggered via push October 18, 2023 10:49
Status Success
Total duration 17s
Artifacts

labeler.yml

on: push
labeler
7s
labeler
Fit to window
Zoom out
Zoom in