João Paulo Silva de Souza e69c3649b5 Sort crates before splitting them into groups (+ some improvements) (#12755) ...

* sort crates before splitting them into groups

this is useful so that crates always get routed to a specific group for a given version of the source code, which means that jobs for each batch can be reliably retried individually

* more verbose output

* misc improvements

* put uniq after sort

uniq filters by adjacent lines

* shellcheck

* rm useless backlashes

* handle edge case of no crates detected

2022-11-24 12:09:14 +00:00

..

ci

Sort crates before splitting them into groups (+ some improvements) (#12755)

2022-11-24 12:09:14 +00:00

run_all_benchmarks.sh

use headers on templates (#12546)

2022-10-21 21:46:25 +00:00