add size_set_seq

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

00:05:06

passed build-coq.8.13.2-mr #144329
fp

00:04:44