Batch: rename BatchInterval to BatchStep, move to tail of StepInfo #1929
main.yml
on: pull_request
test-difftest-main
1m 48s
test-difftest-nutshell
17m 37s
test-difftest-vcs
14m 19s
test-difftest-fpga
7m 53s