Equalities for `list_merge` with `[]` arguments.
Passed
Robbert Krebbers
created pipeline for commit
9407e8cc
, finished
For master
8 minutes 40 seconds, queued for 1 seconds