Skip to content
Back to pull request #165

Add conflicts on solvers versions outside depopt range #118

Sign in to view logs

Add conflicts on solvers versions outside depopt range

Add conflicts on solvers versions outside depopt range #118

Triggered via pull request June 27, 2024 13:44
@krtabkrtab
opened #165
depts_conflicts
Status Success
Total duration 4m 14s
Artifacts –

test-bitwuzla.yml

on: pull_request
test-bitwuzla
4m 4s
test-bitwuzla
Fit to window
Zoom out
Zoom in