Skip to content
Snippets Groups Projects

community/clingo: upgrade to 5.7.0

Passed
Celeste created pipeline for commit db84d89f
, finished
Related merge request !60928 to merge upgrade-clingo
merge request
9 jobs 1 minute 54 seconds, queued for 2 seconds