Skip to content

Make repo optional and default to github name #41

Make repo optional and default to github name

Make repo optional and default to github name #41

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

lint.yml

on: pull_request
Fit to window
Zoom out
Zoom in