[CI] Use the standard test again.
`duneci-statndard-test` gained the ability to run the tests with -j$DUNECI_PARALLEL, which was the last thing that duneci-perftool-small-test did specially. So use that.
bin/duneci-perftool-small-test
deleted
100755 → 0
Please register or sign in to comment