add binder_list

2 jobs for !312 with ralf/binder_list in 4 minutes and 59 seconds (queued for 4 seconds)
latest detached
Status Name Job ID Coverage
  Build
passed build-coq.8.10.2 #138012
fp

00:04:59

passed build-coq.8.13.2-mr #138011
fp

00:04:33