Style linters

feat(Tensors/Contraction): slot-addressed cross contraction and the general-rank raise/lower round trip #6092

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Check for spelling errors	12s
Python based style linter	16s
Lean based style linters	37m 17s
	37m 45s