Skip to content
Test PR

Declare all Bool combinator equations simplifications (to disambiguate cases) #299

Sign in to view logs

Declare all Bool combinator equations simplifications (to disambiguate cases)

Declare all Bool combinator equations simplifications (to disambiguate cases) #299

Triggered via pull request November 2, 2023 03:22
@jbertholdjberthold
opened #3786
jb/disambiguate-bool-combinator-rules
Status Cancelled
Total duration 19s
Artifacts –

master-pr.yml

on: pull_request
Change base to develop branch
8s
Change base to develop branch
Fit to window
Zoom out
Zoom in