replace session by pool
Passed
Benjamin Gallois
created pipeline for commit
c487f464
, finished
Related merge request !252 to merge 202-distance-oracle-reevaluation
44 minutes 2 seconds, queued for 3 seconds