Skip to content
Snippets Groups Projects

Finish formal syntax

Passed
Hans-Jörg created pipeline for commit 76389f3f
, finished
For formal-semantic
latest
1 job 2 minutes 4 seconds, queued for 2 seconds