Skip to content
Snippets Groups Projects

Merge branch 'master' of gitlab.mpi-sws.org:iris/actris

Passed
Jonas Kastberg created pipeline for commit 059bbf74
, finished
For master
1 job 16 minutes 45 seconds, queued for 4 seconds