doc-build

Merge branch 'main' of https://github.com/diffCheckOrg/diffCheck #436

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
build-source	8m 4s
build-docs	3m 22s
page-deployement	46s
	12m 12s