You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
CI: use distcheck exclusively for building/testing
make_check_wrapper.sh + `make dist` does not replace make distcheck.
`make distcheck` is used as single source of truth. To still get stack
traces, move `make check` outside of the script and retrieve the exit
code of `make distcheck`.
This should catch issues like #27470 upfront.
0 commit comments