Skip to content

Make repo optional and default to github name #40

Make repo optional and default to github name

Make repo optional and default to github name #40

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

lint.yml

on: pull_request
Fit to window
Zoom out
Zoom in