Skip to content
Windows CI

mcsat heuristic update -- use similar heuristic parameters as in cdclt #68

Sign in to view logs

mcsat heuristic update -- use similar heuristic parameters as in cdclt

mcsat heuristic update -- use similar heuristic parameters as in cdclt #68

Triggered via pull request April 7, 2024 21:38
@ahmed-irfanahmed-irfan
opened #506
mcsat-update-heuristic
Status Success
Total duration 15m 56s
Artifacts –

windows_ci.yml

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