Please turn it on in your browser preferences.
for specific sites, we recommend the
Review Request #2459 -
Created Nov. 20, 2019 and submitted
Nov. 20, 2019, 9:03 a.m.
12007 make_test always returns non-zero
FWIW, could also just be [[ $fail -eq 0 ]] and nothing else.