Skip to content
Lint

Merge pull request #90 from josephschorr/filtering-improvements #205

Sign in to view logs

Merge pull request #90 from josephschorr/filtering-improvements

Merge pull request #90 from josephschorr/filtering-improvements #205

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Lint
19s
19s