Some results about `app` and `StronglySorted`.
Passed
Robbert Krebbers
created pipeline for commit
5f2a6b77
, finished
For master
8 minutes 43 seconds, queued for 0 seconds