Update algolia index

Merge pull request #135 from leonarddt05/patch-1 #380

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

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