Skip to content
Snippets Groups Projects

strengthened solve_decision ltac

Passed
Abhishek Anand created pipeline for commit f8adf66f
, finished
Related merge request !295 to merge aa755-master-patch-77362
latest merge request
2 jobs 9 minutes 39 seconds, queued for 9 seconds