Skip to content
Lint

Change repository "Title" to "Name" in the source editor #892

Sign in to view logs

Change repository "Title" to "Name" in the source editor

Change repository "Title" to "Name" in the source editor #892

Run time

Learn about OS pricing on GitHub Actions
Job Run time
lint
31s
31s