CI

Batch: rename BatchInterval to BatchStep, move to tail of StepInfo (#… #1935

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
test-difftest-main	1m 45s
test-difftest-fpga	7m 16s
test-difftest-vcs	14m 44s
test-difftest-nutshell	17m 46s
	41m 31s