Repository navigation

ci

vet-ir: close β F2 — make the discovery match the closure claim #481

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
forbidden-wording	7s
build	2m 19s
conformance-validate	6s
self-measure-smoke	2m 47s
linkcheck	6s
spec-validate	9s
skill-validate	7s
	5m 41s