Ppx CI

Push nextra 3 and custom theme based on theme-docs (#526) #2031

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Build (ubuntu-20.04, 5.2.0)	3m 5s
Build (macos-latest, 5.2.0)	2m 47s
Publish	6s
	5m 58s