Back to pull request #75

fix: segfault in minisat #36

Sign in to view logs

Triggered via pull request April 4, 2024 08:25

chrjabs

synchronize #75

bugfix/minisat-simp-segfault

Status Success

Total duration 3m 57s

Artifacts –

ipasir.yml

on: pull_request

Matrix: Build