CI

Merge pull request #794 from finch-tensor/ms/tweak-prove-rules #2686

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Documentation	9m 5s
Python tests	16m 33s
Julia 1 - ubuntu-latest - x64 - push	38m 5s
Julia 1 - windows-latest - x86 - push	55m 55s
Julia 1.10.6 - ubuntu-latest - x64 - push	32m 28s
Julia 1.10.6 - windows-latest - x86 - push	42m 34s
	3h 14m 40s