CI

fix: pass `VariableUnit` of diff var while converting it to a `Term` #4361

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
formatter (1, x86, ubuntu-latest)	1m 7s
test (InterfaceI, 1)	26m 0s
test (InterfaceII, 1)	9m 8s
test (Extensions, 1)	11m 32s
test (Downstream, 1)	8m 30s
test (RegressionI, 1)	7m 21s
	1h 3m 38s