CaDiCaL

Out of memory errors #125

Sign in to view logs

Triggered via pull request April 18, 2024 12:51

chrjabs

synchronize #87

feature/catch-memout

Status Success

Total duration 3m 19s

Artifacts –

cadical.yml

on: pull_request

Matrix: Build and test