Pipelines · Merge branch 'add/or_intro' into 'master' (432c59c0) · Commits · veriT / Alethe

Commit 432c59c0 authored 7 months ago by Hans-Jörg

Make the description of the comp_simplify rule clearer

See merge request !13

No related branches found

No related tags found

1 merge request!13Make the description of the comp_simplify rule clearer

Pipeline #44762 passed 7 months ago

Status	Pipeline	Created by	Stages	Actions
Passed 00:04:35 7 months ago	Merge branch 'add/or_intro' into 'master' #44762 master 432c59c0		Stage: build Stage: publish Stage: deploy	No artifacts found