fix(dbltrp): critical-error is not treated as diff error #1674
main.yml
on: pull_request
test-difftest-main
1m 42s
test-difftest-nutshell
18m 23s
test-difftest-fuzzing
20m 15s
test-difftest-vcs
14m 36s