Skip to content
Windows CI

Fix ef-solve crash and spurious "model error" on UF-in-arithmetic quantifiers (#657) #541

Sign in to view logs

Fix ef-solve crash and spurious "model error" on UF-in-arithmetic quantifiers (#657)

Fix ef-solve crash and spurious "model error" on UF-in-arithmetic quantifiers (#657) #541

Triggered via pull request July 22, 2026 19:29
@ahmed-irfanahmed-irfan
opened #658
fix-issue-657
Status Success
Total duration 35m 48s
Artifacts –

windows_ci.yml

on: pull_request
Matrix: build
Fit to window
Zoom out
Zoom in