Skip to content

Make repo optional and default to github name #39

Make repo optional and default to github name

Make repo optional and default to github name #39

Triggered via pull request August 18, 2023 17:07
Status Success
Total duration 21s
Artifacts

lint.yml

on: pull_request
Fit to window
Zoom out
Zoom in