Skip to content
Snippets Groups Projects

Add or_intro rule

Passed
Hans-Jörg created pipeline for commit 1471cb81
, finished
1 related merge request: !11 Add weakening rule
1 job 1 minute 26 seconds, queued for 0 seconds