Filter community tools

Merge pull request #136 from Delphine-L/main #67

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
filter-all-tools	58s
filter-all-tutorials	45s
update-tools-to-keep-exclude	47s
	2m 30s