Skip to content
Snippets Groups Projects

Merge branch 'new-updated-datalog' into 'development'

Passed
Fabien FORESTIER created pipeline for commit 8c24d0b1
, finished
1 related merge request: !14 Version 1.3.0
3 jobs 4 minutes 22 seconds, queued for 1 seconds