Skip to content
CI

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

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. #86

Triggered via pull request November 30, 2023 23:16
@elsorokaelsoroka
synchronize #23
dev
Status Success
Total duration 1m 20s
Artifacts –

ci.yml

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