Skip to content

expression rewriting: enable more rewrites and limit CNF rewrites #18517

expression rewriting: enable more rewrites and limit CNF rewrites

expression rewriting: enable more rewrites and limit CNF rewrites #18517

Triggered via pull request November 21, 2023 23:32
Status Success
Total duration 25m 32s
Artifacts
Run endtoend tests on Cluster (ers_prs_newfeatures_heavy)
23m 20s
Run endtoend tests on Cluster (ers_prs_newfeatures_heavy)
Fit to window
Zoom out
Zoom in

Annotations

1 warning
Run endtoend tests on Cluster (ers_prs_newfeatures_heavy)
The `python-version` input is not set. The version of Python currently in `PATH` will be used.