Skip to content
Lint

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

Sign in to view logs

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

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

Run time

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