CaDiCaL

Incremental precision in DPW encoding #192

Sign in to view logs

Triggered via pull request June 11, 2024 12:14

chrjabs

synchronize #104

feat/dpw-precision

Status Success

Total duration 6m 19s

Artifacts –

cadical.yml

on: pull_request

Matrix: Build and test

Annotations

1 warning

Build and test (macos-latest)

Failed to restore: Cache service responded with 429