Skip to content
Snippets Groups Projects

add additional derived laws of the program logic

Passed
Simon Spies created pipeline for commit ff2e9d17
, finished
For master
branch
1 job 6 minutes 21 seconds, queued for 1 seconds