Skip to content
Snippets Groups Projects

Fixing back the AletheVerb indentation

Passed
Bernardo Borges created pipeline for commit bcb74d00
, finished
For devel/pseudoboolean-bitblasting
latest
1 job 1 minute 8 seconds, queued for 1 seconds