Update algolia index

Merge pull request #139 from scroll-tech/develop #355

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Update algolia index -- Dev	0s
Update algolia index -- Prod	1m 42s
	1m 42s