Batch: rename BatchInterval to BatchStep, move to tail of StepInfo #1931
main.yml
on: pull_request
test-difftest-main
1m 39s
test-difftest-nutshell
17m 24s
test-difftest-vcs
14m 32s
test-difftest-fpga
7m 37s