CaDiCaL

Out of memory errors #123

Sign in to view logs

Triggered via pull request April 18, 2024 07:42

chrjabs

synchronize #87

feature/catch-memout

Status Success

Total duration 1m 33s

Artifacts –

cadical.yml

on: pull_request

Matrix: Build and test