Skip to content
Snippets Groups Projects

Some results about `app` and `StronglySorted`.

Passed
Robbert Krebbers created pipeline for commit 5f2a6b77
, finished
For master
branch
8 jobs 8 minutes 43 seconds, queued for 0 seconds