Skip to content
CI

Explicitly promote BoolExprs and IntExprs in mixed int/real arithmetic using to_real and ite. #83

Sign in to view logs

Explicitly promote BoolExprs and IntExprs in mixed int/real arithmetic using to_real and ite.

Explicitly promote BoolExprs and IntExprs in mixed int/real arithmetic using to_real and ite. #83

Triggered via pull request November 29, 2023 18:17
@elsorokaelsoroka
synchronize #23
dev
Status Success
Total duration 1m 22s
Artifacts –

ci.yml

on: pull_request
run
1m 12s
run
Fit to window
Zoom out
Zoom in