Filter community tools

Merge pull request #142 from nomadscientist/main #71

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
filter-all-tutorials	48s
update-tools-to-keep-exclude	48s
filter-all-tools	59s
	2m 35s