Test Rocq

WIP CompareRatTensor: Refactoring of Pointwise & Reduced Tensor Comparisons #159

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Rocq / macOS - Rocq 9.1.1	20m 11s
Rocq / Linux - Rocq 9.1.1	24m 19s
	44m 30s