add size_difference

2 jobs for !324 with ralf/size_difference in 4 minutes and 40 seconds (queued for 5 seconds)
latest detached
Status Name Job ID Coverage
  Build
passed build-coq.8.10.2 #143535
fp

00:04:40

passed build-coq.8.13.2-mr #143534
fp

00:04:18