Skip to content

Make repo optional and default to github name #42

Make repo optional and default to github name

Make repo optional and default to github name #42

Triggered via pull request August 18, 2023 17:41
@FirehedFirehed
synchronize #43
dynamic-repo
Status Success
Total duration 23s
Artifacts

lint.yml

on: pull_request
Fit to window
Zoom out
Zoom in