Linting

chore(deps): bump nextra-theme-docs from 2.13.4 to 4.2.13 #493

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Changed Files	6s
Docs	32s
Project	0s
Python	0s
Lint successful	4s
	42s