-
Mathieu Giraud authored
benchmark-releases.py: exit with 42 when the last release/HEAD has significant difference with the previous one
03bf5afc
benchmark-releases.py: exit with 42 when the last release/HEAD has significant difference with the previous one