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
This accidentally got disabled in
cd065bf under the assumption that the
CI entrypoint is the Makefile in an attempt to make this configurable.
Since the script is called `test_all.sh`, it is reasonable to assume it
always test verything. If ppl want something else, they can just add
another script/maketarget.
0 commit comments