Skip to content
Snippets Groups Projects

Merge branch 'monoidal-containers' into 'master'

Passed
Daniel Firth created pipeline for commit 932e1379
finished
For master
54 Jobs 1 minute 13 seconds, queued for 9 seconds