Merge branch 'simplify_equality' into 'master'
Failed
Markus Holzer
created pipeline for commit
aa6b64dc
, finished
For master
11 minutes 58 seconds, queued for 14 seconds