Skip to content
Snippets Groups Projects

CI.

Passed
Robbert Krebbers created pipeline for commit 2ad3f199
, finished
For ci/robbert/into_fupd
latest branch
1 job 17 minutes 28 seconds, queued for 183 seconds