Skip to content
Snippets Groups Projects

Equalities for `list_merge` with `[]` arguments.

Passed
Robbert Krebbers created pipeline for commit 9407e8cc
, finished
For master
8 jobs 8 minutes 40 seconds, queued for 1 seconds