CI

Fix LF-canonical resource digests for CI #39

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
generator-determinism	9s
schema-negative	11s
lean-build	1m 36s
security-windows	27s
lean-lint	1m 37s
docs-links	12s
integration-negative	13s
python-unit	15s
docker-build	13m 40s
prohibited-tactics	6s
security-tests	15s
docs-claims	12s
clean-worktree	1m 54s
docs-commands	2m 46s
lean4checker	4m 53s
axiom-audit	2m 25s
verify-positive	2m 34s
mutation	2m 46s
wheel-smoke	2m 49s
	39m 0s