[dev] force clock_speed, nb_cores, core_flops to integer (Bug 12427)
Passed
Lucas Nussbaum
created pipeline for commit
c4eb4250
, finished
For master
6 minutes 55 seconds, queued for 2 seconds