Back to pull request #353

Install pre-commit with setup, add GitHub action for pre-commit #403

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
regress-smoke	4m 46s
regress-pre-commit	33s
regress-gen-profile	2m 19s
regress-gen-ext-pdf	1m 24s
regress-gen-certificate	4m 19s
regress-gen-isa-manual	4m 10s
	17m 31s